if [ -z "$RELEASE" ]; then
RELEASE=HEAD
- DO_THANKS_HTML=y
-else
- DO_THANKS_HTML=n
fi
WORKDIR=/tmp/gcc-doc-update.$$
# 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 gcc/gcc/ada/xgnatugn.adb gcc/gcc/ada/ug_words gcc/gcc/BASE-VER gcc/gcc/DEV-PHASE
+
+# 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.
includedir=gcc/gcc/doc/include
-MANUALS="cpp chill cppinternals gcc gccint gcj g77 gnat-style libiberty porting"
+MANUALS="cpp cppinternals fastjar gcc gccint gcj g77 gfortran gnat_ug_unx gnat_ug_vms gnat_ug_vxw gnat_ug_wnt gnat_ugn_unw gnat-style gnat_rm libiberty porting"
+
+# Generate gnat_ugn_unw
+
+if [ -f gcc/gcc/ada/xgnatugn.adb ]; then
+ gnatmake -q gcc/gcc/ada/xgnatugn
+ ./xgnatugn unw gcc/gcc/ada/gnat_ugn.texi \
+ gcc/gcc/ada/ug_words gnat_ugn_unw.texi
+fi
-# Now convert the relevant files from texi to HTML and PostScript.
+# Generate gcc-vers.texi.
+(
+ echo "@set version-GCC $(cat gcc/gcc/BASE-VER)"
+ if [ "$(cat gcc/gcc/DEV-PHASE)" = "experimental" ]; then
+ echo "@set DEVELOPMENT"
+ else
+ echo "@clear DEVELOPMENT"
+ fi
+) > $includedir/gcc-vers.texi
+
+# Now convert the relevant files from texi to HTML, PDF and PostScript.
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
+ texi2pdf -I ${includedir} ${filename} </dev/null
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 *.pdf *.tar; do
cat $file | gzip --best > $file.gz
done
if test $today = 15; then
find $DOCSDIR -type f -maxdepth 1 -print | grep -v index.html | xargs rm
for m in $MANUALS; do
- rm $DOCSDIR/$m/*.html
+ rm $DOCSDIR/$m/*.html $DOCSDIR/$m/*.html.gz
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 *.pdf *.tar; do
cat $DOCSDIR/$file |
sed -e '/^<meta name=generator/d' \
-e '/^%DVIPSSource:/d' > file1
fi
done
-news_file=g77/News.html
-bugs_file=g77/Trouble.html
-contrib_file=gcc/Contributors.html
-
cd $DOCSDIR
-rm -f g77_news.html
-rm -f g77_bugs.html
-rm -f g77_news.html.gz
-rm -f g77_bugs.html.gz
-ln $news_file g77_news.html
-ln $bugs_file g77_bugs.html
-ln ${news_file}.gz g77_news.html.gz
-ln ${bugs_file}.gz g77_bugs.html.gz
-
-if [ "$DO_THANKS_HTML" = y ]; then
- cd $WWWBASE
- rm -f thanks.html
- rm -f thanks.html.gz
- ln onlinedocs/$contrib_file thanks.html
- ln onlinedocs/${contrib_file}.gz thanks.html.gz
-fi
-
# Finally, generate the installation documentation (but only for CVS HEAD).
if [ "$RELEASE" = "HEAD" ]; then
SOURCEDIR=$WORKDIR/gcc/gcc/doc