summaryrefslogtreecommitdiff
path: root/maintainer-scripts
diff options
context:
space:
mode:
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>2001-08-28 21:11:02 +0000
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>2001-08-28 21:11:02 +0000
commitc525503d41d63956aed26a978f8b5e99ca0b7594 (patch)
tree7b6f24304ce6a34ebf476ac84de33f6e9565eca5 /maintainer-scripts
parentbb7e93c8845af1b8a65b5f71835fd4a3b820a458 (diff)
downloadgcc-c525503d41d63956aed26a978f8b5e99ca0b7594.tar.gz
* update_web_docs: Also check out texinfo.tex from
gcc/doc/include. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@45236 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'maintainer-scripts')
-rw-r--r--maintainer-scripts/ChangeLog5
-rwxr-xr-xmaintainer-scripts/update_web_docs2
2 files changed, 6 insertions, 1 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog
index af8ea17f0e8..d23ab08e164 100644
--- a/maintainer-scripts/ChangeLog
+++ b/maintainer-scripts/ChangeLog
@@ -1,3 +1,8 @@
+2001-08-28 Joseph S. Myers <jsm28@cam.ac.uk>
+
+ * update_web_docs: Also check out texinfo.tex from
+ gcc/doc/include.
+
2001-08-06 Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>
* update_web_docs (PREPROCESS): Rename to WWWPREPROCESS.
diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs
index c39e0ad9476..65faa2dcdc9 100755
--- a/maintainer-scripts/update_web_docs
+++ b/maintainer-scripts/update_web_docs
@@ -90,7 +90,7 @@ find $CVSROOT/gcc -name \*.texi,v -print | fgrep -v -f/home/gccadmin/scripts/doc
# Checkout all the texi files and get them into a single directory.
# If we ever have texi files with the same name we'll have to do this
# differently.
-cvs -Q co -r$RELEASE `cat FILES` gcc/gcc/doc/install.texi2html gcc/gcc/texinfo.tex gcc/gcc/doc/texinfo.tex
+cvs -Q co -r$RELEASE `cat FILES` gcc/gcc/doc/install.texi2html gcc/gcc/texinfo.tex gcc/gcc/doc/texinfo.tex gcc/gcc/doc/include/texinfo.tex
mv `find . -name \*.texi -print` .
mv `find . -name \*.tex -print` .