GNU bug report logs - #54063
automake cannot run without generated Texinfo manual

Previous Next

Full log

Message #35 received at 54063 <at> debbugs.gnu.org (full text, mbox):

From: Mike Frysinger <vapier <at> gentoo.org>
To: Karl Berry <karl <at> freefriends.org>
Cc: pertusus <at> free.fr, gavinsmith0123 <at> gmail.com, 54063 <at> debbugs.gnu.org
Subject: Re: bug#54063: automake cannot run without generated Texinfo manual
Date: Sat, 26 Feb 2022 00:07:09 -0500

[Message part 1 (text/plain, inline)]

On 25 Feb 2022 16:06, Karl Berry wrote:
> Adding a note to the manual is fine, but what would be (much) more
> likely to actually get noticed by users is a runtime warning. What is
> the actual behavior when the basename and @setfilename don't match?

i don't think it's possible to detect from automake, at least at `automake`
time.  the point of Patrice's report is that the sources don't exist when
automake runs, so it's not possible to inspect them.  trying to go further
(having automake attempt to trace partial makefile?  have it generate a
check that runs on the user's system at `make` time?) feels like it's
intruding on the territory of texinfo for no real gain.
-mike

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.