From f7a0f0c8e5bf52d3bfa946d32c42a0224fc9f789 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 26 Jan 2006 17:08:40 +0000 Subject: [PATCH] no longer requires old diagrams --- helm/papers/matita/Makefile | 6 ------ 1 file changed, 6 deletions(-) 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 -- 2.39.5