Mentions légales du service

Skip to content
Snippets Groups Projects
Commit b4e16d42 authored by BESSON Frederic's avatar BESSON Frederic
Browse files

fix makefile

parent 36ff4a86
No related branches found
Tags 8.13+no
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
Makefile
+ 1
− 0
View file @ b4e16d42
...@@ -62,6 +62,7 @@ cleanaux : ...@@ -62,6 +62,7 @@ cleanaux :
clean : cleanaux clean : cleanaux
$(MAKE) -f CoqMakefile clean $(MAKE) -f CoqMakefile clean
$(MAKE) -f CoqMakefile_ml clean
rm -f CoqMakefile.conf CoqMakefile CoqMakefile_ml CoqMakefile_ml.conf rm -f CoqMakefile.conf CoqMakefile CoqMakefile_ml CoqMakefile_ml.conf
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment