Gavin Smith Mon, 07 Sep 2015 05:18:45 -0700
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.
