From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 24 May 2004 12:45:33 +0000 (+0000)
Subject: - added basic_auth.ml example
X-Git-Tag: V_0_0_9~9
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6da4c870b2f476e46c902ba629eba7bf0f52d28f;p=helm.git

- added basic_auth.ml example
- restyled examples list
---

diff --git a/helm/DEVEL/ocaml-http/examples/Makefile b/helm/DEVEL/ocaml-http/examples/Makefile
index 674f8f9eb..453776c61 100644
--- a/helm/DEVEL/ocaml-http/examples/Makefile
+++ b/helm/DEVEL/ocaml-http/examples/Makefile
@@ -5,9 +5,21 @@ OBJS_MT = ../http_mt.cma
 OBJS_MT_OPT = ../http_mt.cmxa
 EXAMPLES_FLAGS = -I .. -linkpkg
 
-EXAMPLES =	\
-	always_ok_daemon webfsd obj_foo dump_args timeout dont_fork	\
-	threads chdir damned_recursion oo_daemon client_address highlander
+EXAMPLES :=	\
+	always_ok_daemon.ml	\
+	basic_auth.ml		\
+	chdir.ml		\
+	client_address.ml	\
+	damned_recursion.ml	\
+	dont_fork.ml		\
+	dump_args.ml		\
+	highlander.ml		\
+	obj_foo.ml		\
+	oo_daemon.ml		\
+	threads.ml		\
+	timeout.ml		\
+	webfsd.ml
+EXAMPLES := $(patsubst %.ml,%,$(EXAMPLES))
 
 all: $(EXAMPLES)
 opt: $(patsubst %,%.opt,$(EXAMPLES))