X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FMakefile;h=896529cf43b4ccb6f412278c63abb43fe4acf580;hb=e177df64ddb101845d2caa0465de51831c06a9e3;hp=c51e7b7b653e6f6e2e936c77077d57641a156c65;hpb=b5fdd3c31b9595c0c1c1b9954bcf5a914b2a1fbb;p=helm.git

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index c51e7b7b6..896529cf4 100644
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -405,6 +405,11 @@ endif
 $(CMOS): $(LIB_DEPS)
 $(CMOS:%.cmo=%.cmx): $(LIBX_DEPS)
 
+deps.ps: deps.dot
+	dot -Tps -o $@ $<
+deps.dot: .depend
+	./dep2dot.rb < $< | tred > $@
+
 ifeq ($(MAKECMDGOALS),all)
    $(CMOS:%.cmo=%.cmi): $(LIB_DEPS)
 endif