diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -57,6 +57,7 @@ FIND_SKIP_DIRS:='(' \ -name '_build' -o \ -name '_build_ci' -o \ -name '_install_ci' -o \ + -name 'gramlib' -o \ -name 'user-contrib' -o \ -name 'test-suite' -o \ -name '.opamcache' -o \ @@ -261,7 +262,7 @@ cacheclean: find theories plugins test-suite -name '.*.aux' -exec rm -f {} + cleanconfig: - rm -f config/Makefile config/coq_config.ml dev/ocamldebug-coq dev/camlp5.dbg config/Info-*.plist + rm -f config/Makefile config/coq_config.ml dev/ocamldebug-coq config/Info-*.plist distclean: clean cleanconfig cacheclean timingclean |