From a739ce00b9a04ba5d1f9c5d359c5c902274b9282 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 7 Jan 2008 15:18:45 +0000 Subject: [PATCH] remove wrong install line --- matita/Makefile | 1 - 1 file changed, 1 deletion(-) 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) -- 2.39.2