diff options
Diffstat (limited to 'mathcomp/algebra/Makefile')
| -rw-r--r-- | mathcomp/algebra/Makefile | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/mathcomp/algebra/Makefile b/mathcomp/algebra/Makefile index 47dd8b4..23d9c98 100644 --- a/mathcomp/algebra/Makefile +++ b/mathcomp/algebra/Makefile @@ -1,10 +1,6 @@ # -*- Makefile -*- -COQPROJECT="Make" - -# -------------------------------------------------------------------- -include ../Makefile.common - -# -------------------------------------------------------------------- +COQPROJECT=Make COQMAKEOPTIONS=--no-print-directory +include ../Makefile.common |