diff options
| -rw-r--r-- | maintainer-scripts/ChangeLog | 5 | ||||
| -rwxr-xr-x | maintainer-scripts/update_web_docs | 12 |
2 files changed, 5 insertions, 12 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index b1cfdfc..b8b9cef 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -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> * update_web_docs: Use makeinfo --html instead of texi2html. diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs index 5a3d329..f24f939 100755 --- a/maintainer-scripts/update_web_docs +++ b/maintainer-scripts/update_web_docs @@ -74,9 +74,6 @@ fi if [ -z "$RELEASE" ]; then RELEASE=HEAD - DO_THANKS_HTML=y -else - DO_THANKS_HTML=n fi WORKDIR=/tmp/gcc-doc-update.$$ @@ -142,7 +139,6 @@ done news_file=g77/News.html bugs_file=g77/Trouble.html -contrib_file=gcc/Contributors.html cd $DOCSDIR @@ -155,14 +151,6 @@ 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 |