[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#25361: info_TEXINFOS cannot be set conditionally?
From: |
Benno Schulenberg |
Subject: |
bug#25361: info_TEXINFOS cannot be set conditionally? |
Date: |
Sun, 08 Jan 2017 16:09:54 +0100 |
On Sat, Jan 7, 2017, at 17:27, Hans-Bernhard Bröker wrote:
> People using git sources can and should be expected to have more
> complete tool chests than others, and makeinfo is well within the bounds
> of what constitutes a reasonable tool collection for anyone wanting to
> build GNU software from sources.
True.
> > So, if nano.info and nano.html are already there, install them, but
> > if they are not and 'makeinfo' is absent, don't even /try/ to build
> > them. I don't see how I can achieve that.
>
> You shouldn't. Pretending the build, much less install, was successful
> despite such a lack of documentation is just a bad idea.
Okay.
Benno
--
http://www.fastmail.com - A no graphics, no pop-ups email service