summaryrefslogtreecommitdiffstats
path: root/maintainer-scripts/update_web_docs
diff options
context:
space:
mode:
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>2004-01-03 21:16:13 +0000
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>2004-01-03 21:16:13 +0000
commitc2c1c41add0f4c3f95fbb6716fc9f8da9aa0e720 (patch)
treef0ecf69d3bc648964de2f328ea6d9283ffc21668 /maintainer-scripts/update_web_docs
parent500c0c93ed630557b2462f87ae3662ee87e0d37c (diff)
downloadppe42-gcc-c2c1c41add0f4c3f95fbb6716fc9f8da9aa0e720.tar.gz
ppe42-gcc-c2c1c41add0f4c3f95fbb6716fc9f8da9aa0e720.zip
* update_web_docs: Create tarballs of documentation sources and
HTML docs. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@75372 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'maintainer-scripts/update_web_docs')
-rwxr-xr-xmaintainer-scripts/update_web_docs14
1 files changed, 9 insertions, 5 deletions
diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs
index 1cd10c228c6..998885c6935 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
OpenPOWER on IntegriCloud