OSDN Git Service

* update_web_docs: Also check out texinfo.tex from
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 28 Aug 2001 21:11:02 +0000 (21:11 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 28 Aug 2001 21:11:02 +0000 (21:11 +0000)
gcc/doc/include.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@45236 138bc75d-0d04-0410-961f-82ee72b054a4

maintainer-scripts/ChangeLog
maintainer-scripts/update_web_docs

index af8ea17..d23ab08 100644 (file)
@@ -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.
 2001-08-06  Gerald Pfeifer  <pfeifer@dbai.tuwien.ac.at>
 
        * update_web_docs (PREPROCESS): Rename to WWWPREPROCESS.
index c39e0ad..65faa2d 100755 (executable)
@@ -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.
 # 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` .
 
 mv `find . -name \*.texi -print` .
 mv `find . -name \*.tex -print` .