Sorting in html-output enabled

After simplifiying the _CoqProject-generation, the files are correctly
sorted.

Makefile

@@ -25,16 +25,12 @@ clean: Makefile.coq
 	rm -f _CoqProject
 
 define GENCoqPr
-BEGIN { RS="[[:space:]]"; FS=":" }\
-{					\
+BEGIN { RS="[[:space:]]"; FS=":" }			\
+{							\
     dirname = $$1;					\
     libname = $$2;					\
     print "-R " dirname " " libname;			\
-    find = "find " dirname " -name '*.v' -maxdepth 1";	\
-    while ((find | getline) > 0) {			\
-	print;						\
-    }							\
-    close(find);					\
+    print dirname;					\
 }
 endef