the "right" way to do Makefiles.

Conflicts:
	_CoqProject

Author: Gregory Malecha

Makefile

@@ -2,27 +2,27 @@ PROJECT_NAME=coq-ext-lib
 
 all: theories examples
 
-theories:
-	$(MAKE) -C theories
+theories: Makefile.coq
+	$(MAKE) -f Makefile.coq
 
-install:
-	$(MAKE) -C theories install
+Makefile.coq:
+	coq_makefile -f _CoqProject -o Makefile.coq
+
+install: Makefile.coq
+	$(MAKE) -f Makefile.coq install
 
 examples: theories
 	$(MAKE) -C examples
 
 clean:
-	$(MAKE) -C theories clean
+	$(MAKE) -f Makefile.coq clean
 	$(MAKE) -C examples clean
 
 uninstall:
-	$(MAKE) -C theories uninstall
+	$(MAKE) -f Makefile.coq uninstall
 
 
 dist:
 	@ git archive --prefix coq-ext-lib/ HEAD -o $(PROJECT_NAME).tgz
 
-.dir-locals.el: tools/dir-locals.el
-	@ sed s,PWD,$(shell pwd -P),g tools/dir-locals.el > .dir-locals.el
-
 .PHONY: all clean dist theories examples