mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-01-22 15:44:33 +08:00
Code Issues Packages Projects Releases Wiki Activity

update_web_docs_svn: Remove a reference to GCC 3.1.

Browse Source 
* 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
This commit is contained in:
Gerald Pfeifer 2017-02-28 13:17:52 +00:00 committed by Gerald Pfeifer
parent dd3f45609c
commit b54f986e4d
2 changed files with 17 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
maintainer-scripts/ChangeLog
View File

@ -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> 2017-02-08 Gerald Pfeifer <gerald@pfeifer.com>
* update_web_docs_svn (MANUALS): Add libitm. * update_web_docs_svn (MANUALS): Add libitm.

12
maintainer-scripts/update_web_docs_svn
View File

@ -1,7 +1,10 @@
#!/bin/sh #!/bin/sh
# Generate HTML documentation from GCC Texinfo docs. # 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 set -e
@ -31,7 +34,7 @@ MANUALS="cpp
CSS=/gcc.css CSS=/gcc.css
WWWBASE=/www/gcc/htdocs WWWBASE=${WWWBASE:-"/www/gcc/htdocs"}
WWWBASE_PREFORMATTED=/www/gcc/htdocs-preformatted WWWBASE_PREFORMATTED=/www/gcc/htdocs-preformatted
WWWPREPROCESS='/www/gcc/bin/preprocess -r' WWWPREPROCESS='/www/gcc/bin/preprocess -r'
@ -90,6 +93,11 @@ else
DOCSDIR=$WWWBASE/onlinedocs/$SUBDIR DOCSDIR=$WWWBASE/onlinedocs/$SUBDIR
fi fi
if [ ! -d $WWWBASE ]; then
echo "WWW base directory \"$WWWBASE\" does not exist." >&2
exit 1
fi
if [ ! -d $DOCSDIR ]; then if [ ! -d $DOCSDIR ]; then
mkdir $DOCSDIR mkdir $DOCSDIR
chmod g+w $DOCSDIR chmod g+w $DOCSDIR