Commit 656befe57f70206c627e27cfcfecd81bdf42aefd
2020-05-07T18:26:33
docs: make dist implies make dvi. This change handles https://bugs.gnu.org/7994. * doc/automake.texi (Preparing Distributions): make distcheck runs make dvi. (Auxiliary Programs) <texinfo.tex>: mention that make dist runs make dvi, and therefore a TeX system is required when Texinfo sources are present. Add @cmindex entries for all auxiliary programs while we're here.