diff options
| author | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-11-05 09:55:25 +0000 |
|---|---|---|
| committer | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-11-05 09:55:25 +0000 |
| commit | 99a474605a477d56e1c92705824bd613c6c908bf (patch) | |
| tree | 5df4daa7b341f53dca9d898e47fe61f11a87ae29 /maintainer-scripts/update_web_docs | |
| parent | cb98586010291db435cb733ee6927b3a083a22be (diff) | |
| download | gcc-99a474605a477d56e1c92705824bd613c6c908bf.tar.gz | |
* update_web_docs: Eliminate warnings about keeping files from web
page preprocessing.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@46785 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'maintainer-scripts/update_web_docs')
| -rwxr-xr-x | maintainer-scripts/update_web_docs | 2 |
1 files changed, 1 insertions, 1 deletions
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. |