diff options
| author | Joseph Myers <jsm28@cam.ac.uk> | 2001-11-05 09:55:25 +0000 |
|---|---|---|
| committer | Joseph Myers <jsm28@gcc.gnu.org> | 2001-11-05 09:55:25 +0000 |
| commit | 3b0c635f60049f111e7ee358aea56c734a19d2cc (patch) | |
| tree | 5df4daa7b341f53dca9d898e47fe61f11a87ae29 /maintainer-scripts | |
| parent | 286970ee61cdcb00a1b7d0601dee6672328d8802 (diff) | |
| download | gcc-3b0c635f60049f111e7ee358aea56c734a19d2cc.tar.gz | |
update_web_docs: Eliminate warnings about keeping files from web page preprocessing.
* update_web_docs: Eliminate warnings about keeping files from web
page preprocessing.
From-SVN: r46785
Diffstat (limited to 'maintainer-scripts')
| -rw-r--r-- | maintainer-scripts/ChangeLog | 3 | ||||
| -rwxr-xr-x | maintainer-scripts/update_web_docs | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index 5d8c609d0f1..0faa5abf2fa 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -1,5 +1,8 @@ 2001-11-05 Joseph S. Myers <jsm28@cam.ac.uk> + * update_web_docs: Eliminate warnings about keeping files from web + page preprocessing. + * update_web_docs: Allow for the same file name in different directories. diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs index 6872a4a329d..63df12ffa56 100755 --- a/maintainer-scripts/update_web_docs +++ b/maintainer-scripts/update_web_docs @@ -167,7 +167,7 @@ if [ "$RELEASE" = "HEAD" ]; then # Preprocess the entire web site, not just the install docs! echo "Invoking $WWWPREPROCESS" - $WWWPREPROCESS + $WWWPREPROCESS |grep -v '^ Warning: Keeping' fi # Clean up behind us. |