From 3a3e96aecdaddd774876bd7ffc701f017d86e023 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase Date: Fri, 20 Nov 2015 11:22:29 +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 994f950..82bf837 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)