Commit 3fa34e62 authored by POTTIER Francois's avatar POTTIER Francois

Add [make reinstall].

parent fe6f49e7
.PHONY: all coqlib generator examples doc clean install
.PHONY: all coqlib generator examples doc clean install uninstall reinstall
CFML := $(shell pwd)
......@@ -103,3 +103,6 @@ uninstall:
rm -rf $(LIBDIR)
rm -rf $(DOCDIR)
rm -rf $(COQ_CONTRIB)/CFML
reinstall: uninstall
@ $(MAKE) install
Markdown is supported
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