added content level ref

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

diff --git a/helm/papers/matita/Makefile b/helm/papers/matita/Makefile
index 07747771a119e406ec0163e7325a8f6a8c61976b..bfae83c3ab7e96356b3c2ad5759782f68485717d 100644 (file)
--- 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