update_web_docs: Use /usr/local/bin/texi2html rather than gccadmin's local copy.

	* update_web_docs: Use /usr/local/bin/texi2html rather than
	gccadmin's local copy.

From-SVN: r40489

diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog
index 4d18536278d5b3d5d1e8e819151cf39b30dbc8d5..93feefab37b26bba3ca50eef8f0da1de20bcc67a 100644 (file)
--- a/maintainer-scripts/ChangeLog
+++ b/maintainer-scripts/ChangeLog
@@ -1,3 +1,8 @@
+2001-03-15  Joseph S. Myers  <jsm28@cam.ac.uk>
+
+       * update_web_docs: Use /usr/local/bin/texi2html rather than
+       gccadmin's local copy.
+
 2001-03-10  Joseph S. Myers  <jsm28@cam.ac.uk>
 
        * crontab, doc_exclude, update_branch_version, update_version,

diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs
index 9fd071007d7584e9534140132ce2bee02617f025..b5d779f7c5e49550b59388494b60c638c5157133 100755 (executable)
--- a/maintainer-scripts/update_web_docs
+++ b/maintainer-scripts/update_web_docs
@@ -26,7 +26,7 @@ mv `find . -name \*.texi -print` .
 
 # Now convert the relavent files from texi to html 
 for file in c-tree cpp chill gcc gcov gxxint g77 iostream objc-features; do 
-  /home/gccadmin/scripts/texi2html -glossary -menu -split_chapter ${file}.texi
+  /usr/local/bin/texi2html -glossary -menu -split_chapter ${file}.texi
 done
 
 # Then build a gzipped copy of each of the resulting .html files