gcc-wwwdocs branch master updated. d4506304338216a4a5fd741ebc43bc90c2238641

gcc-wwwdocs branch master updated. d4506304338216a4a5fd741ebc43bc90c2238641

[jsm28]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gcc-wwwdocs".

The branch, master has been updated
       via  d4506304338216a4a5fd741ebc43bc90c2238641 (commit)
      from  77b0d72a2772def18a9776549c9aee91b93a81e8 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit d4506304338216a4a5fd741ebc43bc90c2238641
Author: Joseph Myers <joseph@codesourcery.com>
Date:   Wed Oct 9 00:14:11 2019 +0000

    Update CVS references in preprocess script.

diff --git a/bin/preprocess b/bin/preprocess
index 2d09d54..56f8383 100755
--- a/bin/preprocess
+++ b/bin/preprocess
@@ -160,7 +160,7 @@ process_file()
     fi
 
     case $f in
-        */CVS|*\.cvsignore)
+        */.git|*\.gitignore)
             ;;
         *\.ihtml|*\.mhtml)
             ;;
@@ -248,8 +248,8 @@ if [ $# -gt 0 ]; then
     done
 else 
     # Process all files in the source tree, excluding files/directories
-    # called CVS.
-    for f in `find . \( -name CVS -prune \) -o -type f -print` ; do
+    # called .git.
+    for f in `find . \( -name .git -prune \) -o -type f -print` ; do
         process_file $f
     done
 fi

-----------------------------------------------------------------------

Summary of changes:
 bin/preprocess |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)


hooks/post-receive
-- 
gcc-wwwdocs