Discussion:
Please make @setfilename optional in Texinfo files
Gavin Smith
2015-09-07 12:17:51 UTC
Permalink
The next release of Texinfo will make a @setfilename line optional in
Texinfo files. Unfortunately Automake depends on its presence (as of
Automake 1.15). Please consider removing this requirement.

Loading...