Don't delete the one non-generated .c file under compiler/.

diff --git a/src/Makefile.tools.in b/src/Makefile.tools.in
index d8d167dafd57576c98bf7527e8180c8244514b04..7367ba6624bbc4bac7b13806ad41b74ca87c9b68 100644 (file)
--- a/src/Makefile.tools.in
+++ b/src/Makefile.tools.in
@@ -98,7 +98,7 @@ save:
            \( \
              -name '*.bci' -o \
              -name '*.bin' -o \
-             -name '*.c' -o \
+             \( -name '*.c' \! -path compiler/documentation/test-c.c \) -o \
              -name '*.com' -o \
              -name '*.crf' -o \
              -name '*.ext' -o \