+2002-01-06 Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>
+
+ * update_web_docs (contrib_file): Remove.
+ Also removing special handling of thanks.html.
+
2001-12-17 Joseph S. Myers <jsm28@cam.ac.uk>
* update_web_docs: Use makeinfo --html instead of texi2html.
if [ -z "$RELEASE" ]; then
RELEASE=HEAD
- DO_THANKS_HTML=y
-else
- DO_THANKS_HTML=n
fi
WORKDIR=/tmp/gcc-doc-update.$$
news_file=g77/News.html
bugs_file=g77/Trouble.html
-contrib_file=gcc/Contributors.html
cd $DOCSDIR
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