bug#54063: automake cannot run without generated Texinfo manual

[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 ignore @setfilename in texi2any
rather than have a runtime warning.

We actually use @setfilename in the test suite to be able to set a file
name for a Texinfo string read from a source file and not from an actual
file.  But there are other ways to specify the file name.

-- 
Pat