* update_web_docs: Don't generate HTML from gxxint.texi. Don't
run texi2html on manuals that aren't present.
From-SVN: r41789
+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.
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