draining just to be sure for CTAN distribution
This commit is contained in:
parent
9a20477334
commit
3a3e96aecd
@ -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)
|
||||
|
Loading…
Reference in New Issue
Block a user