From 9a2047733460254ede3df28e5c555af77dd216de Mon Sep 17 00:00:00 2001 From: Michael Kohlhase Date: Fri, 20 Nov 2015 11:22:06 +0100 Subject: [PATCH] draining just to be sure for CTAN distribution --- lib/Makefile.ctan | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/Makefile.ctan b/lib/Makefile.ctan index 936aefe..994f950 100644 --- a/lib/Makefile.ctan +++ b/lib/Makefile.ctan @@ -29,7 +29,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' # git push rm -Rf $(EXPORTED)