X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FMakefile;fp=matita%2FMakefile;h=95ab0f8d7acadeabd4685f13da54d9822215e39e;hb=a739ce00b9a04ba5d1f9c5d359c5c902274b9282;hp=29d5b35ef47ef4f8eb200b4c6c79f7b937dd72e1;hpb=a37b9f70260a625c93b148fd51b3314639c954ec;p=helm.git diff --git a/matita/Makefile b/matita/Makefile index 29d5b35ef..95ab0f8d7 100644 --- 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)