X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Ftemplate_makefile.in;h=1413aedd91e28b53adc1aaf1e893e10987b28d4d;hb=dc861d214cb992a898f81752614201b8074eef12;hp=83fc7a3c71c04f4cfa4989b9451eabf6672feff5;hpb=b11d278a26840884692cdfb89e168081134d293f;p=helm.git

diff --git a/helm/matita/template_makefile.in b/helm/matita/template_makefile.in
index 83fc7a3c7..1413aedd9 100644
--- a/helm/matita/template_makefile.in
+++ b/helm/matita/template_makefile.in
@@ -13,7 +13,7 @@ clean:
 
 %.moo:%.ma
 	[ ! -e $@ ] || ($(MATITACLEAN) $< 1>/dev/null 2>/dev/null ; rm -f $@)
-	($(MATITAC) -q -I @ROOT@ $< | (grep -v "^make" || true)) || \
+	($(MATITAC) -preserve -q -I @ROOT@ $< | (grep -v "^make" || true)) || \
 		($(MATITACLEAN) $< ; exit 1)
 
 @DEPFILE@ @DEPFILESHORT@: $(SRC)