draining just to be sure for CTAN distribution

This commit is contained in:
Michael Kohlhase 2015-01-16 09:41:09 +01:00
parent 691fda2e69
commit 1e7f94e9f6

View File

@ -23,7 +23,7 @@ ctan: all filedate checksum
rm $(EXPORTED)/.gitignore
cd $(EXPORTED); $(MAKE) -$(MAKEFLAGS) ctanext
@echo "zipping the result to $(TDSCOLL).ctan.zip"
cd $(TMP); zip -r -q $(CTANZIP) $(CTANCOLL); cp $(CTANZIP) $(HERE)
cd $(TMP); zip -r -q $(CTANZIP) $(TDSCOLL); cp $(CTANZIP) $(HERE)
rm -Rf $(EXPORTED) $(CTANDIR) $(CTANZIP)
# this target is run on EXPORTED. It first makes the target tdsext below,