diff options
| author | gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-08-06 13:03:21 +0000 |
|---|---|---|
| committer | gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-08-06 13:03:21 +0000 |
| commit | 6c8211620e8fea84514b515f7bd4371988789a2b (patch) | |
| tree | e5cbd8e0bfc7fee898f8ba5640bfd47837a0d69f /maintainer-scripts/update_web_docs | |
| parent | c7b5aa9a2c999becab723e32ab2de32ce887cb78 (diff) | |
| download | gcc-6c8211620e8fea84514b515f7bd4371988789a2b.tar.gz | |
* update_web_docs (PREPROCESS): Rename to WWWPREPROCESS.
Preprocess the entire web site, not just the install docs.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@44659 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'maintainer-scripts/update_web_docs')
| -rwxr-xr-x | maintainer-scripts/update_web_docs | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs index c9f8b6ee2ae..c39e0ad9476 100755 --- a/maintainer-scripts/update_web_docs +++ b/maintainer-scripts/update_web_docs @@ -8,7 +8,7 @@ PATH=/usr/local/bin:$PATH WWWBASE=/www/gcc/htdocs WWWBASE_PREFORMATTED=/www/gcc/htdocs-preformatted -PREPROCESS=/www/gcc/bin/preprocess +WWWPREPROCESS='/www/gcc/bin/preprocess -r' # Process options -rrelease and -ddirectory RELEASE="" @@ -162,10 +162,9 @@ if [ "$RELEASE" = "HEAD" ]; then export DESTDIR $WORKDIR/gcc/gcc/doc/install.texi2html - for file in `ls $DESTDIR` - do - $PREPROCESS install/$file - done + # Preprocess the entire web site, not just the install docs! + echo "Invoking $WWWPREPROCESS" + $WWWPREPROCESS fi # Clean up behind us. |