--- autoconf-2.69/doc/autoconf.texi.orig 2021-12-27 16:45:07.043999800 +0100 +++ autoconf-2.69/doc/autoconf.texi 2021-12-27 16:46:29.222069800 +0100 @@ -6,7 +6,6 @@ @settitle Autoconf @setchapternewpage odd @ifnothtml -@setcontentsaftertitlepage @end ifnothtml @finalout