matitac now automatically cleans a non empty baseuri

[helm.git] / helm / matita / template_makefile.in

diff --git a/helm/matita/template_makefile.in b/helm/matita/template_makefile.in
index 83fc7a3c71c04f4cfa4989b9451eabf6672feff5..1413aedd91e28b53adc1aaf1e893e10987b28d4d 100644 (file)
--- 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)