X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2FMakefile;h=bfae83c3ab7e96356b3c2ad5759782f68485717d;hb=22360727aa1b513bd1529ef63aadb59b92095922;hp=07747771a119e406ec0163e7325a8f6a8c61976b;hpb=2a81818cb4b942c35a1cfa88121e561309e59172;p=helm.git diff --git a/helm/papers/matita/Makefile b/helm/papers/matita/Makefile index 07747771a..bfae83c3a 100644 --- a/helm/papers/matita/Makefile +++ b/helm/papers/matita/Makefile @@ -17,7 +17,7 @@ TEXS = matita.tex RUNS = 1 # do you need bibtex? -BIBTEX = no +BIBTEX = yes # would you like to use pdflatex? PDF_VIA_PDFLATEX = yes