made the submission
This commit is contained in:
parent
381057fa82
commit
48e7cd5d5e
@ -32,7 +32,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'
|
||||||
rm -Rf $(EXPORTED)
|
rm -Rf $(EXPORTED)
|
||||||
@echo "exporting a clean copy to $(EXPORTED)"
|
@echo "exporting a clean copy to $(EXPORTED)"
|
||||||
|
Loading…
Reference in New Issue
Block a user