gcc-wwwdocs branch master updated. b3ed2d817de659c08c6e33f8aaf94c337fca13f2

gcc-wwwdocs branch master updated. b3ed2d817de659c08c6e33f8aaf94c337fca13f2

[Gerald Pfeifer]

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  b3ed2d817de659c08c6e33f8aaf94c337fca13f2 (commit)
      from  553eb2f76d6414e962f923c3bacf33edd0040491 (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 b3ed2d817de659c08c6e33f8aaf94c337fca13f2
Author: Gerald Pfeifer <gerald@pfeifer.com>
Date:   Fri May 19 15:59:46 2023 +0200

    preprocess: Fix reference to SOURCETREE

diff --git a/bin/preprocess b/bin/preprocess
index c6d34c4b..2e474b0c 100755
--- a/bin/preprocess
+++ b/bin/preprocess
@@ -155,7 +155,7 @@ process_file()
     # Strip possibly leading "./".
     f=`echo $1 | sed -e 's#^\./##'`
 
-    if [ ! -f "$SRCTREE/$f" ]; then
+    if [ ! -f "$SOURCETREE/$f" ]; then
         echo "Input file $f not found."
         return
     fi

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

Summary of changes:
 bin/preprocess | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)


hooks/post-receive
-- 
gcc-wwwdocs