diff options
| author | Joseph Myers <jsm28@cam.ac.uk> | 2001-05-03 16:49:22 +0100 |
|---|---|---|
| committer | Joseph Myers <jsm28@gcc.gnu.org> | 2001-05-03 16:49:22 +0100 |
| commit | 371d5d2ef8677d06f8897bfd04bbf3ca0803fca5 (patch) | |
| tree | abe39fcc0550d3eb374a8d00aa24a6df2a9d3ab7 /maintainer-scripts | |
| parent | c64539a845eeb988a17e9648bcf04615214542ab (diff) | |
| download | gcc-371d5d2ef8677d06f8897bfd04bbf3ca0803fca5.zip gcc-371d5d2ef8677d06f8897bfd04bbf3ca0803fca5.tar.gz gcc-371d5d2ef8677d06f8897bfd04bbf3ca0803fca5.tar.bz2 | |
update_web_docs: Don't generate HTML from gxxint.texi.
* update_web_docs: Don't generate HTML from gxxint.texi. Don't
run texi2html on manuals that aren't present.
From-SVN: r41789
Diffstat (limited to 'maintainer-scripts')
| -rw-r--r-- | maintainer-scripts/ChangeLog | 5 | ||||
| -rwxr-xr-x | maintainer-scripts/update_web_docs | 6 |
2 files changed, 9 insertions, 2 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index 62d922f..9d3a01d 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -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. diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs index bb67366..a9b3470 100755 --- a/maintainer-scripts/update_web_docs +++ b/maintainer-scripts/update_web_docs @@ -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 -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 |