diff options
author | gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-04-01 00:08:27 +0000 |
---|---|---|
committer | gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-04-01 00:08:27 +0000 |
commit | 1bbc2a84b2eb62fc48f5a106d26aebdfe599788b (patch) | |
tree | 70dff7c837d36c4da29375f91379ffc0c6b7b4c0 /maintainer-scripts | |
parent | 400ffd110aa11bcf944d92136b07adb317995618 (diff) | |
download | gcc-1bbc2a84b2eb62fc48f5a106d26aebdfe599788b.tar.gz |
Revert some changes inadvertently committed as part of the previous revision.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@123396 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'maintainer-scripts')
-rwxr-xr-x | maintainer-scripts/update_web_docs_svn | 19 |
1 files changed, 6 insertions, 13 deletions
diff --git a/maintainer-scripts/update_web_docs_svn b/maintainer-scripts/update_web_docs_svn index a5879665cd5..fbb2802f82f 100755 --- a/maintainer-scripts/update_web_docs_svn +++ b/maintainer-scripts/update_web_docs_svn @@ -175,7 +175,7 @@ if test $today = 15; then done fi -# Copy the resulting files to the web server. +# And copy the resulting files to the web server for file in */*.html *.ps *.pdf *.tar; do if [ -f $DOCSDIR/$file ]; then cat $DOCSDIR/$file | @@ -195,25 +195,18 @@ done cd $DOCSDIR -# And generate version-specific installation documentation. -SOURCEDIR=$WORKDIR/gcc/gcc/doc -DESTDIR=$DOCSDOR/install -export SOURCEDIR -export DESTDIR -$WORKDIR/gcc/gcc/doc/install.texi2html - -# Finally, generate the primary installation documentation. +# Finally, generate the installation documentation if [ "$RELEASE" = "trunk" ]; then SOURCEDIR=$WORKDIR/gcc/gcc/doc DESTDIR=$WWWBASE_PREFORMATTED/install export SOURCEDIR export DESTDIR $WORKDIR/gcc/gcc/doc/install.texi2html -fi -# Preprocess the entire web site, not just the install docs! -echo "Invoking $WWWPREPROCESS" -$WWWPREPROCESS | grep -v '^ Warning: Keeping' + # Preprocess the entire web site, not just the install docs! + echo "Invoking $WWWPREPROCESS" + $WWWPREPROCESS |grep -v '^ Warning: Keeping' +fi # Clean up behind us. |