bug#25361: info_TEXINFOS cannot be set conditionally?

[Benno Schulenberg]

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