From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 12 Feb 2004 12:12:46 +0000 (+0000)
Subject: libraries-complete.ps: the internal libraries are now all squares while
X-Git-Tag: V_0_3_0~7
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4e0a297d4c7883f72724f283ff1c1381d11cf7f5;p=helm.git

libraries-complete.ps: the internal libraries are now all squares while
the external libraries are circles.
---

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index 0fb6d927a..910e599cf 100644
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -75,6 +75,7 @@ METAS/META.helm-%: METAS/meta.helm-%.src
 	echo "   rankdir = TB ;" >> $@
 	for i in $(MODULES); do ocamlfind query helm-$$i -recursive -p-format | sed "s/^/ \"helm-$$i\" -> \"/g" | sed "s/$$/\";/g" >> $@ ; done
 	mv $@ $@.old ; ./simplify_deps/simplify_deps.opt < $@.old > $@ ; rm $@.old
+	for i in $(MODULES); do echo "\"helm-$$i\" [shape=box];" >> $@ ; done
 	echo "}" >> $@