diff options
| -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 af8ea17..d23ab08 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 c39e0ad..65faa2dc 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` . |