OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

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

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

From-SVN: r40489
This commit is contained in:
Joseph Myers 2001-03-15 08:16:32 +00:00 committed by Joseph Myers
parent 6940319403
commit 285b923177
2 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
maintainer-scripts/ChangeLog
View File

@ -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,

2
maintainer-scripts/update_web_docs
View File

@ -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