git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

update_web_docs (contrib_file): Remove. 

* update_web_docs (contrib_file): Remove.
	Also removing special handling of thanks.html.

From-SVN: r48589
This commit is contained in:
Gerald Pfeifer 2002-01-06 23:44:51 +01:00 committed by Gerald Pfeifer
parent ebecd56de9
commit 6cda74b0eb
2 changed files with 5 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
maintainer-scripts/ChangeLog
View File

@ -1,3 +1,8 @@
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> 2001-12-17 Joseph S. Myers <jsm28@cam.ac.uk>
* update_web_docs: Use makeinfo --html instead of texi2html. * update_web_docs: Use makeinfo --html instead of texi2html.

12
maintainer-scripts/update_web_docs
View File

@ -74,9 +74,6 @@ fi
if [ -z "$RELEASE" ]; then if [ -z "$RELEASE" ]; then
RELEASE=HEAD RELEASE=HEAD
DO_THANKS_HTML=y
else
DO_THANKS_HTML=n
fi fi
WORKDIR=/tmp/gcc-doc-update.$$ WORKDIR=/tmp/gcc-doc-update.$$
@ -142,7 +139,6 @@ done
news_file=g77/News.html news_file=g77/News.html
bugs_file=g77/Trouble.html bugs_file=g77/Trouble.html
contrib_file=gcc/Contributors.html
cd $DOCSDIR cd $DOCSDIR
@ -155,14 +151,6 @@ ln $bugs_file g77_bugs.html
ln ${news_file}.gz g77_news.html.gz ln ${news_file}.gz g77_news.html.gz
ln ${bugs_file}.gz g77_bugs.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). # Finally, generate the installation documentation (but only for CVS HEAD).
if [ "$RELEASE" = "HEAD" ]; then if [ "$RELEASE" = "HEAD" ]; then
SOURCEDIR=$WORKDIR/gcc/gcc/doc SOURCEDIR=$WORKDIR/gcc/gcc/doc