Skip to content
Snippets Groups Projects
Select Git revision
0 results
Compare
user avatar
update_web_docs: Set SOURCEDIR so that install manual can be found when running install.texi2html.
Joseph Myers authored 
	* update_web_docs: Set SOURCEDIR so that install manual can be
	found when running install.texi2html.

From-SVN: r46810
e180d2b0
History
user avatar e180d2b0
History
Name Last commit Last update