diff options
| author | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-10-29 01:30:31 +0000 |
|---|---|---|
| committer | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-10-29 01:30:31 +0000 |
| commit | c53a51a22c77e3a6f37cff92f8c1b87980541870 (patch) | |
| tree | caf39e5d5f86548a966eea050217de7026c91fe8 /maintainer-scripts/update_web_docs | |
| parent | 2d87c8ca8a0993005af4b8179b3ad25e947cd6a7 (diff) | |
| download | gcc-c53a51a22c77e3a6f37cff92f8c1b87980541870.tar.gz | |
* update_web_docs: Generate libiberty and gnat-style manuals.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@46601 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'maintainer-scripts/update_web_docs')
| -rwxr-xr-x | maintainer-scripts/update_web_docs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs index 65faa2dcdc9..fd80c9dfbe7 100755 --- a/maintainer-scripts/update_web_docs +++ b/maintainer-scripts/update_web_docs @@ -95,7 +95,8 @@ mv `find . -name \*.texi -print` . mv `find . -name \*.tex -print` . # Now convert the relevant files from texi to HTML and PostScript. -for file in cpp chill cppinternals gcc gcj g77 objc-features porting; do +for file in cpp chill cppinternals gcc gcj g77 gnat-style libiberty \ + objc-features porting; do if [ -e ${file}.texi ]; then /usr/local/bin/texi2html -glossary -menu -split_chapter ${file}.texi texi2dvi ${file}.texi </dev/null && dvips -o ${file}.ps ${file}.dvi |