Patch to update_web_docs
Joseph S. Myers
jsm28@cam.ac.uk
Wed Mar 14 17:04:00 GMT 2001
Now texi2html on gcc.gnu.org has been upgraded to a more recent
version, it is desirable for onlinedocs generation to use that version
rather than a local gccadmin version. The following has been tested
by regenerating onlinedocs with the modified update_web_docs; OK to
commit, replace update_web_docs as used by gccadmin with the patched
version, and remove gccadmin's own copy of texi2html?
Index: ChangeLog
===================================================================
RCS file: /cvs/gcc/gcc/maintainer-scripts/ChangeLog,v
retrieving revision 1.1
diff -u -r1.1 ChangeLog
--- ChangeLog 2001/03/10 00:08:49 1.1
+++ ChangeLog 2001/03/15 00:39:53
@@ -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,
Index: update_web_docs
===================================================================
RCS file: /cvs/gcc/gcc/maintainer-scripts/update_web_docs,v
retrieving revision 1.1
diff -u -r1.1 update_web_docs
--- update_web_docs 2001/03/10 00:08:50 1.1
+++ update_web_docs 2001/03/15 00:39:53
@@ -26,7 +26,7 @@
# 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
--
Joseph S. Myers
jsm28@cam.ac.uk
More information about the Gcc-patches
mailing list