From 9ede4319922b1e947154bdff4a305b8e2f631efc Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Fri, 20 Nov 2015 10:26:54 +0100
Subject: [PATCH] draining just to be sure for CTAN distribution

---
 lib/Makefile.ctan | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/Makefile.ctan b/lib/Makefile.ctan
index 551b2e2..6fc7c7c 100644
--- a/lib/Makefile.ctan
+++ b/lib/Makefile.ctan
@@ -7,6 +7,7 @@ TDSDIR 		= $(TMP)/$(TDSCOLL).tds
 TDSZIP 		= $(TMP)/$(TDSCOLL).tds.zip
 CTANDIR 	= $(TMP)/$(TDSCOLL)
 CTANZIP		= $(TMP)/$(TDSCOLL).ctan.zip
+MAKE		= make
 
 # this target makes the file CTANZIP by creating and populating the directory 
 # CTANDIR and zipping it. To be current, we first make all, and update