Permalink
Browse files

Makefile and install

  • Loading branch information...
1 parent c71041c commit a4db5b6797ab117ded6599989aca34b55ccb45c1 @braibant committed Jan 24, 2013
Showing with 4 additions and 1 deletion.
  1. +3 −0 Makefile
  2. +1 −1 README
View
@@ -13,3 +13,6 @@ Makefile.coq: Makefile $(MODULES)
clean:: Makefile.coq
$(MAKE) -f Makefile.coq clean
rm -f Makefile.coq .depend
+
+install:
+ $(MAKE) -f Makefile.coq install
View
2 README
@@ -29,7 +29,7 @@ INSTALL
=================
make
-make -f Makefile.coq install
+make install
USAGE

0 comments on commit a4db5b6

Please sign in to comment.