diff options
author | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-08-28 21:11:02 +0000 |
---|---|---|
committer | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-08-28 21:11:02 +0000 |
commit | c525503d41d63956aed26a978f8b5e99ca0b7594 (patch) | |
tree | 7b6f24304ce6a34ebf476ac84de33f6e9565eca5 /maintainer-scripts | |
parent | bb7e93c8845af1b8a65b5f71835fd4a3b820a458 (diff) | |
download | gcc-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/ChangeLog | 5 | ||||
-rwxr-xr-x | maintainer-scripts/update_web_docs | 2 |
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` . |