X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2FMakefile;h=a09321d6b014f850cdb2c5b99047efe0c68dd800;hb=55dc61d4b5a62883ea5532ed61e8780ca82f4bd7;hp=dc95f6691d79259b76a9fffe58e1e49044edf51a;hpb=22fae39d4d5da97fcd91d6c25158ffdaee9a6f86;p=helm.git

diff --git a/helm/papers/matita/Makefile b/helm/papers/matita/Makefile
index dc95f6691..a09321d6b 100644
--- a/helm/papers/matita/Makefile
+++ b/helm/papers/matita/Makefile
@@ -30,6 +30,9 @@ BUILD_FORMATS = dvi ps
 # which format to be shown on "make show"
 SHOW_FORMAT = dvi
 
+########################################################################
+all:
+
 ########################################################################
 
 AVAILABLE_FORMATS = dvi ps ps.gz pdf html