]> matita.cs.unibo.it Git - helm.git/commitdiff
remove wrong install line
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 7 Jan 2008 15:18:45 +0000 (15:18 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 7 Jan 2008 15:18:45 +0000 (15:18 +0000)
matita/Makefile

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