-
Arsen Arsenović authored
maintainer-scripts/ChangeLog: * update_web_docs_git: Add a mechanism to override makeinfo, texi2dvi and texi2pdf, and default them to /home/gccadmin/texinfo/install-git/bin/${tool}, if present.
Arsen Arsenović authoredmaintainer-scripts/ChangeLog: * update_web_docs_git: Add a mechanism to override makeinfo, texi2dvi and texi2pdf, and default them to /home/gccadmin/texinfo/install-git/bin/${tool}, if present.