update_web_docs
4.39 KB
-
update_web_docs: Set SOURCEDIR so that install manual can be found when running install.texi2html. · e180d2b0* update_web_docs: Set SOURCEDIR so that install manual can be found when running install.texi2html. From-SVN: r46810
Joseph Myers committed