From a854f735e76380775d4631c11ddf2f4781328a5b Mon Sep 17 00:00:00 2001
From: Taylor R Campbell <campbell@mumble.net>
Date: Thu, 3 Nov 2016 16:31:25 +0000
Subject: [PATCH] Don't delete the one non-generated .c file under compiler/.

---
 src/Makefile.tools.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Makefile.tools.in b/src/Makefile.tools.in
index d8d167daf..7367ba662 100644
--- 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 \
-- 
2.25.1