From a799333d2c1df4b336654e86bdd763608401455b Mon Sep 17 00:00:00 2001 From: Michael Kohlhase Date: Fri, 20 Nov 2015 11:52:21 +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 3a670c1..e78ea32 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)