build paper per default

diff --git a/helm/papers/matita/Makefile b/helm/papers/matita/Makefile
index 8cbb806177417edcbf39c5a710c8dfff86e63a99..e5dac5f0aa4762d8228d7bc0b23dd2c9075da7fb 100644 (file)
--- 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 $@ $<