dependency graphs

[helm.git] / helm / papers / matita / Makefile

diff --git a/helm/papers/matita/Makefile b/helm/papers/matita/Makefile
index dc95f6691d79259b76a9fffe58e1e49044edf51a..8cbb806177417edcbf39c5a710c8dfff86e63a99 100644 (file)
--- a/helm/papers/matita/Makefile
+++ b/helm/papers/matita/Makefile
@@ -32,6 +32,14 @@ SHOW_FORMAT = dvi
 
 ########################################################################
 
+libraries.ps: libraries.dot
+       dot -Gclusterrank=none -Tps -o $@ $<
+librariesCluster.ps: libraries.dot
+       dot -Tps -o $@ $<
+matita2.dvi: libraries.ps librariesCluster.ps
+
+########################################################################
+
 AVAILABLE_FORMATS = dvi ps ps.gz pdf html
 
 ADVI = advi