ocaml 3.09 transition

[helm.git] / helm / papers / matita / Makefile

diff --git a/helm/papers/matita/Makefile b/helm/papers/matita/Makefile
index bfae83c3ab7e96356b3c2ad5759782f68485717d..d287d115c6811646d5f066afdd2f7eda46a754d5 100644 (file)
--- a/helm/papers/matita/Makefile
+++ b/helm/papers/matita/Makefile
@@ -25,7 +25,7 @@ PDF_VIA_PDFLATEX = yes
 # which formats generated by default ("all" target)?
 # (others will be generated by "world" target)
 # see AVAILABLE_FORMATS below 
-BUILD_FORMATS = dvi
+BUILD_FORMATS = dvi ps
 
 # which format to be shown on "make show"
 SHOW_FORMAT = dvi
@@ -112,7 +112,7 @@ else
        $(DVIPDF) $< $@
 endif
 %.ps: %.dvi
-       $(DVIPS) $<
+       $(DVIPS) -ta4 $<
 %.ps.gz: %.ps
        $(GZIP) -c $< > $@
 %.html: %.tex