From b60906cc3ee3f994babf9cceff2971bd03485f2f Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Mon, 22 Jan 2018 12:45:49 -0800
Subject: Change references to CAMLP4 to CAMLP5 to be more accurate since we no
 longer use camlp4.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 3e8e49c31c..0c9bccc83c 100644
--- a/Makefile
+++ b/Makefile
@@ -266,7 +266,7 @@ cacheclean:
 	find theories plugins test-suite -name '.*.aux' -delete
 
 cleanconfig:
-	rm -f config/Makefile config/coq_config.ml myocamlbuild_config.ml dev/ocamldebug-coq dev/camlp4.dbg config/Info-*.plist
+	rm -f config/Makefile config/coq_config.ml myocamlbuild_config.ml dev/ocamldebug-coq dev/camlp5.dbg config/Info-*.plist
 
 distclean: clean cleanconfig cacheclean timingclean
 
-- 
cgit v1.2.3