diff options
Diffstat (limited to 'proofs/Makefile')
| -rw-r--r-- | proofs/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/proofs/Makefile b/proofs/Makefile index 1efedbc7..efbda2d8 100644 --- a/proofs/Makefile +++ b/proofs/Makefile @@ -10,4 +10,7 @@ clean: $(COQMAKEFILE) $(MAKE) -f $(COQMAKEFILE) clean rm -f $(COQMAKEFILE) $(COQMAKEFILE).conf -.PHONY: all clean
\ No newline at end of file +.PHONY: all clean + + + |