diff --git a/Makefile b/Makefile
index 53acb51e38434dc79ecfff09f6ef5dd203bc557e..1469095c70f5ae0665cd5257f19a9b8f117b2649 100644
--- a/Makefile
+++ b/Makefile
@@ -6,25 +6,15 @@ HTML := public
 
 VS := $(MODULES:%=$(SRC)/%.v)
 
-LIB := CoMoProj #TODO
-HTML := public #TODO Ggf. anpassen
-
-.PHONY: all $(SRC) html coq clean clean_html clean_all
+.PHONY: all html coq clean clean_html clean_all
 
 all: coq html _CoqProject
 
-$(SRC):
-	mkdir -p $(SRC)
-
-_CoqProject: Makefile
-	echo "-R $(SRC) $(LIB)\n\n$(SRC)" > _CoqProject
-
 html: coq $(SRC)
 	mkdir -p public
 	coqdoc -R $(SRC) $(LIB) $(VS) -d $(HTML) \
 		-utf8 --lib-name File --toc
 
-
 coq: Makefile.coq
 	$(MAKE) -f Makefile.coq all
 
@@ -44,6 +34,12 @@ clean_html: clean
 
 clean_all: clean clean_html
 
+$(SRC):
+	mkdir -p $(SRC)
+
+_CoqProject: Makefile
+	echo "-R $(SRC) $(LIB)\n\n$(SRC)" > _CoqProject
+
 Makefile.coq: Makefile $(VS) $(SRC)
 	@coq_makefile -o Makefile.coq -R $(SRC) $(LIB) $(VS)