diff options
author | Gerald Pfeifer <gerald@pfeifer.com> | 2017-02-28 13:17:52 +0000 |
---|---|---|
committer | Gerald Pfeifer <gerald@gcc.gnu.org> | 2017-02-28 13:17:52 +0000 |
commit | b54f986e4d2d49cf690deb3bd78fd6c177f1adaa (patch) | |
tree | 6997bf7ffc65273df469fe9455d0dfdf5d918b55 /maintainer-scripts | |
parent | dd3f45609c0e668b5f6382a17605cdf3aa394dd3 (diff) | |
download | gcc-b54f986e4d2d49cf690deb3bd78fd6c177f1adaa.tar.gz |
update_web_docs_svn: Remove a reference to GCC 3.1.
* update_web_docs_svn: Remove a reference to GCC 3.1. Describe
settings to tweak if running on a host different from gcc.gnu.org.
(WWWBASE): Allow override via the environment. Also check for
existance.
From-SVN: r245774
Diffstat (limited to 'maintainer-scripts')
-rw-r--r-- | maintainer-scripts/ChangeLog | 7 | ||||
-rwxr-xr-x | maintainer-scripts/update_web_docs_svn | 12 |
2 files changed, 17 insertions, 2 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index cc235aa43ee..4a98deb2638 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -1,3 +1,10 @@ +2017-02-28 Gerald Pfeifer <gerald@pfeifer.com> + + * update_web_docs_svn: Remove a reference to GCC 3.1. Describe + settings to tweak if running on a host different from gcc.gnu.org. + (WWWBASE): Allow override via the environment. Also check for + existance. + 2017-02-08 Gerald Pfeifer <gerald@pfeifer.com> * update_web_docs_svn (MANUALS): Add libitm. diff --git a/maintainer-scripts/update_web_docs_svn b/maintainer-scripts/update_web_docs_svn index e5f76e6d874..4f262fd01e5 100755 --- a/maintainer-scripts/update_web_docs_svn +++ b/maintainer-scripts/update_web_docs_svn @@ -1,7 +1,10 @@ #!/bin/sh # Generate HTML documentation from GCC Texinfo docs. -# This version is for GCC 3.1 and later versions. +# +# If you want to run this on a machine different from gcc.gnu.org, you +# may need to adjust SVNROOT and WWWBASE below (or override them via the +# environment). set -e @@ -31,7 +34,7 @@ MANUALS="cpp CSS=/gcc.css -WWWBASE=/www/gcc/htdocs +WWWBASE=${WWWBASE:-"/www/gcc/htdocs"} WWWBASE_PREFORMATTED=/www/gcc/htdocs-preformatted WWWPREPROCESS='/www/gcc/bin/preprocess -r' @@ -90,6 +93,11 @@ else DOCSDIR=$WWWBASE/onlinedocs/$SUBDIR fi +if [ ! -d $WWWBASE ]; then + echo "WWW base directory \"$WWWBASE\" does not exist." >&2 + exit 1 +fi + if [ ! -d $DOCSDIR ]; then mkdir $DOCSDIR chmod g+w $DOCSDIR |