reordering

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)