diff options
author | Joseph Myers <jsm@polyomino.org.uk> | 2004-01-03 21:16:13 +0000 |
---|---|---|
committer | Joseph Myers <jsm28@gcc.gnu.org> | 2004-01-03 21:16:13 +0000 |
commit | 879b71015b5fdc6ff6efa03063091a2368227df0 (patch) | |
tree | f0ecf69d3bc648964de2f328ea6d9283ffc21668 /maintainer-scripts | |
parent | ca35b54689a78580ed15f0cd1b9cd9e5a2b787dd (diff) | |
download | gcc-879b71015b5fdc6ff6efa03063091a2368227df0.zip gcc-879b71015b5fdc6ff6efa03063091a2368227df0.tar.gz gcc-879b71015b5fdc6ff6efa03063091a2368227df0.tar.bz2 |
update_web_docs: Create tarballs of documentation sources and HTML docs.
* update_web_docs: Create tarballs of documentation sources and
HTML docs.
From-SVN: r75372
Diffstat (limited to 'maintainer-scripts')
-rw-r--r-- | maintainer-scripts/ChangeLog | 5 | ||||
-rwxr-xr-x | maintainer-scripts/update_web_docs | 14 |
2 files changed, 14 insertions, 5 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index 4372b66..1537ad9 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -1,3 +1,8 @@ +2004-01-03 Joseph S. Myers <jsm@polyomino.org.uk> + + * update_web_docs: Create tarballs of documentation sources and + HTML docs. + 2004-01-02 Gerald Pfeifer <gp@suse.de> * update_version: Add some documentation. diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs index 1cd10c2..998885c 100755 --- a/maintainer-scripts/update_web_docs +++ b/maintainer-scripts/update_web_docs @@ -88,7 +88,10 @@ find $CVSROOT/gcc -name \*.texi,v -print | fgrep -v -f/home/gccadmin/scripts/doc # Checkout all the texi files. -cvs -Q co -r$RELEASE `cat FILES` gcc/gcc/doc/install.texi2html gcc/gcc/doc/include/texinfo.tex +cvs -Q export -r$RELEASE `cat FILES` gcc/gcc/doc/install.texi2html gcc/gcc/doc/include/texinfo.tex + +# Build a tarball of the sources. +tar cf docs-sources.tar gcc # The directory to pass to -I; this is the one with texinfo.tex # and fdl.texi. @@ -101,13 +104,14 @@ for file in $MANUALS; do filename=`find . -name ${file}.texi` if [ "${filename}" ]; then makeinfo --html -I ${includedir} -I `dirname ${filename}` ${filename} + tar cf ${file}-html.tar ${file}/*.html texi2dvi -I ${includedir} ${filename} </dev/null && dvips -o ${file}.ps ${file}.dvi mkdir -p $DOCSDIR/$file fi done -# Then build a gzipped copy of each of the resulting .html and .ps files -for file in */*.html *.ps; do +# Then build a gzipped copy of each of the resulting .html, .ps and .tar files +for file in */*.html *.ps *.tar; do cat $file | gzip --best > $file.gz done @@ -121,8 +125,8 @@ if test $today = 15; then done fi -# And copy the resulting html files to the web server -for file in */*.html *.ps; do +# And copy the resulting files to the web server +for file in */*.html *.ps *.tar; do cat $DOCSDIR/$file | sed -e '/^<meta name=generator/d' \ -e '/^%DVIPSSource:/d' > file1 |