aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoseph Myers <jsm28@cam.ac.uk>2001-10-29 01:30:31 +0000
committerJoseph Myers <jsm28@gcc.gnu.org>2001-10-29 01:30:31 +0000
commit4d42a8ae2ef019eb1d7f8da877b33ed63a433c49 (patch)
treecaf39e5d5f86548a966eea050217de7026c91fe8
parentd2574c50f642ed04f7ec735db6c6674c138e5f1a (diff)
downloadgcc-4d42a8ae2ef019eb1d7f8da877b33ed63a433c49.zip
gcc-4d42a8ae2ef019eb1d7f8da877b33ed63a433c49.tar.gz
gcc-4d42a8ae2ef019eb1d7f8da877b33ed63a433c49.tar.bz2
* update_web_docs: Generate libiberty and gnat-style manuals.
From-SVN: r46601
-rw-r--r--maintainer-scripts/ChangeLog4
-rwxr-xr-xmaintainer-scripts/update_web_docs3
2 files changed, 6 insertions, 1 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog
index c1b296a..9bb32e5 100644
--- a/maintainer-scripts/ChangeLog
+++ b/maintainer-scripts/ChangeLog
@@ -1,3 +1,7 @@
+2001-10-29 Joseph S. Myers <jsm28@cam.ac.uk>
+
+ * update_web_docs: Generate libiberty and gnat-style manuals.
+
2001-10-24 Joseph S. Myers <jsm28@cam.ac.uk>
* gcc_release: Build snapshots from mainline. Generate Ada and
diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs
index 65faa2dc..fd80c9d 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