diff options
| author | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-03-15 08:16:32 +0000 |
|---|---|---|
| committer | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-03-15 08:16:32 +0000 |
| commit | 429eb4fcb2789d34a652f7d2374ab9503e7caa46 (patch) | |
| tree | 01246eb74171ceceed30318a4812c3759a59b165 /maintainer-scripts | |
| parent | 37b022e9e4a7d82275c2325332ee5cdb6ae3dc9f (diff) | |
| download | gcc-429eb4fcb2789d34a652f7d2374ab9503e7caa46.tar.gz | |
* update_web_docs: Use /usr/local/bin/texi2html rather than
gccadmin's local copy.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@40489 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'maintainer-scripts')
| -rw-r--r-- | maintainer-scripts/ChangeLog | 5 | ||||
| -rwxr-xr-x | maintainer-scripts/update_web_docs | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index 4d18536278d..93feefab37b 100644 --- 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 9fd071007d7..b5d779f7c5e 100755 --- 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 |