draining just to be sure for CTAN distribution

This commit is contained in:
Michael Kohlhase 2015-01-16 09:39:10 +01:00
parent 99cd7fab88
commit 691fda2e69

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); cd -; cp $(CTANZIP) .
cd $(TMP); zip -r -q $(CTANZIP) $(CTANCOLL); cp $(CTANZIP) $(HERE)
rm -Rf $(EXPORTED) $(CTANDIR) $(CTANZIP)
# this target is run on EXPORTED. It first makes the target tdsext below,