From 1632748ed68abe0894a548d55bb2affa5e668134 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase Date: Fri, 20 Nov 2015 09:49:12 +0100 Subject: [PATCH] cleaning up Makefile redefinitions --- Makefile | 2 -- 1 file changed, 2 deletions(-) diff --git a/Makefile b/Makefile index f85e3f6..5a10b84 100644 --- a/Makefile +++ b/Makefile @@ -14,8 +14,6 @@ GITURI = git@github.com:KWARC/LaTeX-proposal.git TDS.src = TDS.doc = README.md TDS.src = -include lib/Makefile.vars -include lib/Makefile.in include lib/Makefile.ctan echo: