bug#54063: automake cannot run without generated Texinfo manual

2022-02-26 Thread pertusus
On Sat, Feb 26, 2022 at 12:07:09AM -0500, Mike Frysinger wrote: > 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 @s

bug#54063: automake cannot run without generated Texinfo manual

2022-02-25 Thread pertusus
On Fri, Feb 25, 2022 at 04:29:11PM -0700, Karl Berry wrote: > Runtime warning in texi2any or automake? > > Both? It seemed to me that @setfilename in texi2any was actually a way to have an output file name different from the input file name. If this is not really useful, we should simply ign

bug#54063: automake cannot run without generated Texinfo manual

2022-02-25 Thread pertusus
On Fri, Feb 25, 2022 at 04:06:34PM -0700, 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? > Sorry to be clueless ...