From 1475371df21b01889b06477984961cc09cc09e91 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 25 Nov 2005 11:12:05 +0000
Subject: [PATCH] build paper per default

---
 helm/papers/matita/Makefile | 1 +
 1 file changed, 1 insertion(+)

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 $@ $<
-- 
2.39.2