OSDN Git Service

* update_web_docs: Don't generate HTML from gxxint.texi. Don't
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 3 May 2001 15:49:22 +0000 (15:49 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 3 May 2001 15:49:22 +0000 (15:49 +0000)
run texi2html on manuals that aren't present.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@41789 138bc75d-0d04-0410-961f-82ee72b054a4

maintainer-scripts/ChangeLog
maintainer-scripts/update_web_docs

index 62d922f..9d3a01d 100644 (file)
@@ -1,3 +1,8 @@
+2001-05-03  Joseph S. Myers  <jsm28@cam.ac.uk>
+
+       * update_web_docs: Don't generate HTML from gxxint.texi.  Don't
+       run texi2html on manuals that aren't present.
+
 2001-03-18  Phil Edwards  <pme@sources.redhat.com>
 
        * update_web_docs_libstdcxx:  New script.
 2001-03-18  Phil Edwards  <pme@sources.redhat.com>
 
        * update_web_docs_libstdcxx:  New script.
index bb67366..a9b3470 100755 (executable)
@@ -91,8 +91,10 @@ cvs -Q co -r$RELEASE `cat FILES`
 mv `find . -name \*.texi -print` .
 
 # Now convert the relavent files from texi to html 
 mv `find . -name \*.texi -print` .
 
 # Now convert the relavent files from texi to html 
-for file in c-tree cpp chill cppinternals gcc gcj gxxint g77 objc-features porting; do 
-  /usr/local/bin/texi2html -glossary -menu -split_chapter ${file}.texi
+for file in c-tree cpp chill cppinternals gcc gcj g77 objc-features porting; do
+  if [ -e ${file}.texi ]; then
+    /usr/local/bin/texi2html -glossary -menu -split_chapter ${file}.texi
+  fi
 done
 
 # Then build a gzipped copy of each of the resulting .html files
 done
 
 # Then build a gzipped copy of each of the resulting .html files