ChangeLog
1.43 KB
-
update_web_docs: Don't generate HTML from gxxint.texi. · 371d5d2e* update_web_docs: Don't generate HTML from gxxint.texi. Don't run texi2html on manuals that aren't present. From-SVN: r41789
Joseph Myers committed
* update_web_docs: Don't generate HTML from gxxint.texi. Don't run texi2html on manuals that aren't present. From-SVN: r41789