From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 25 Nov 2005 11:12:05 +0000 (+0000)
Subject: build paper per default
X-Git-Tag: make_still_working~8108
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1475371df21b01889b06477984961cc09cc09e91;p=helm.git

build paper per default
---

diff --git a/helm/papers/matita/Makefile b/helm/papers/matita/Makefile
index 8cbb80617..e5dac5f0a 100644
--- a/helm/papers/matita/Makefile
+++ b/helm/papers/matita/Makefile
@@ -31,6 +31,7 @@ BUILD_FORMATS = dvi ps
 SHOW_FORMAT = dvi
 
 ########################################################################
+all:
 
 libraries.ps: libraries.dot
 	dot -Gclusterrank=none -Tps -o $@ $<