draining just to be sure for CTAN distribution

This commit is contained in:
Michael Kohlhase 2015-11-20 11:52:21 +01:00
parent b379947edc
commit a799333d2c

View File

@ -29,7 +29,7 @@ MAKE = make
# the filedates and the checksums. To get rid of all the junk we commit and # 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, # 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. # 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 commit -am'draining just to be sure for CTAN distribution'
# git push # git push
rm -Rf $(EXPORTED) rm -Rf $(EXPORTED)