From eec7bebeef825af62d31a75686e62ab3a1c9b202 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 11 Jan 2005 15:59:06 +0000
Subject: [PATCH] cosmetic changes

---
 helm/ocaml/cic/Makefile | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/helm/ocaml/cic/Makefile b/helm/ocaml/cic/Makefile
index 176baf453..5d3c19c3c 100644
--- a/helm/ocaml/cic/Makefile
+++ b/helm/ocaml/cic/Makefile
@@ -3,7 +3,13 @@ REQUIRES = helm-urimanager helm-pxp helm-xml
 PREDICATES =
 
 INTERFACE_FILES = \
-	cicUniv.mli deannotate.mli cicParser3.mli cicParser2.mli cicParser.mli cicUtil.mli helmLibraryObjects.mli
+	cicUniv.mli	\
+	deannotate.mli	\
+	cicParser3.mli	\
+	cicParser2.mli	\
+	cicParser.mli	\
+	cicUtil.mli	\
+	helmLibraryObjects.mli
 IMPLEMENTATION_FILES = \
 	cic.ml $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL = cic.ml cic.cmi
-- 
2.39.2