remove wrong install line

[helm.git] / matita / Makefile

diff --git a/matita/Makefile b/matita/Makefile
index 29d5b35ef47ef4f8eb200b4c6c79f7b937dd72e1..95ab0f8d7acadeabd4685f13da54d9822215e39e 100644 (file)
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -250,7 +250,6 @@ INSTALL_STUFF =                     \
        matita.conf.xml                 \
        closed.xml                      \
        gtkmathview.matita.conf.xml     \
-       template_makefile.in            \
        AUTHORS                         \
        LICENSE                         \
        $(NULL)