From 48e7cd5d5ef60a65a230f42eb30751da7b4c7f1b Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sun, 22 Nov 2015 12:22:50 +0100
Subject: [PATCH] made the submission

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

diff --git a/lib/Makefile.ctan b/lib/Makefile.ctan
index 01a9c6b..7d23fb5 100644
--- a/lib/Makefile.ctan
+++ b/lib/Makefile.ctan
@@ -32,7 +32,7 @@ MAKE		= make
 # the filedates and the checksums. To get rid of all the junk we commit and 
 # export a clean copy EXPORTED, on which we run the target ctanexp below,  
 # which generates a directory CTANDIR, which we zip and move into place. 
-ctan: #all  filedate checksum
+ctan: all  filedate checksum
 	git commit -am'draining just to be sure for CTAN distribution'
 	rm -Rf $(EXPORTED)
 	@echo "exporting a clean copy to $(EXPORTED)"