diff options
Diffstat (limited to 'maintainer-scripts/update_web_docs')
| -rwxr-xr-x | maintainer-scripts/update_web_docs | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs index 78d7180ed25..7e0102b0642 100755 --- a/maintainer-scripts/update_web_docs +++ b/maintainer-scripts/update_web_docs @@ -137,20 +137,8 @@ for file in */*.html *.ps; do fi done -news_file=g77/News.html -bugs_file=g77/Trouble.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 - # Finally, generate the installation documentation (but only for CVS HEAD). if [ "$RELEASE" = "HEAD" ]; then SOURCEDIR=$WORKDIR/gcc/gcc/doc |