X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2FMakefile;h=488ae4082a11f47a9a23c20bc3b8e7866d09d76e;hb=f36257be9395eb1259f4a8c50c9d012672933686;hp=c602c29db6bd213ae172a881fb581402f7c2e472;hpb=fdb6a50c6a79900c15737abe90acfef2d8245eda;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/Makefile b/helm/DEVEL/ocaml-http/Makefile
index c602c29db..488ae4082 100644
--- a/helm/DEVEL/ocaml-http/Makefile
+++ b/helm/DEVEL/ocaml-http/Makefile
@@ -1,9 +1,10 @@
 include Makefile.defs
 
 MODULES =	\
-	http_types http_constants http_tcp_server http_parser_sanity	\
-	http_misc http_common http_parser http_message http_request		\
-	http_daemon http_response
+	http_types http_constants http_parser_sanity http_misc http_common	\
+	http_tcp_server http_parser http_message http_request http_daemon	\
+	http_response
+
 THREADED_SRV = http_threaded_tcp_server
 MODULES_MT = $(patsubst http_tcp_server, mt/$(THREADED_SRV) http_tcp_server, $(MODULES))
 MODULES_NON_MT = $(patsubst http_tcp_server, non_mt/$(THREADED_SRV) http_tcp_server, $(MODULES))
@@ -121,4 +122,3 @@ install: META
 	all opt world all_non_mt all_mt opt_non_mt opt_mt	\
 	examples examples.opt depend clean distclean dist	\
 	install meta doc deb distreal distrm
-