From: Stefano Zacchiroli Date: Thu, 26 Jan 2006 17:08:40 +0000 (+0000) Subject: no longer requires old diagrams X-Git-Tag: make_still_working~7754 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f7a0f0c8e5bf52d3bfa946d32c42a0224fc9f789;p=helm.git no longer requires old diagrams --- diff --git a/helm/papers/matita/Makefile b/helm/papers/matita/Makefile index e5dac5f0a..a09321d6b 100644 --- a/helm/papers/matita/Makefile +++ b/helm/papers/matita/Makefile @@ -33,12 +33,6 @@ SHOW_FORMAT = dvi ######################################################################## all: -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