draining just to be sure for CTAN distribution

This commit is contained in:
Michael Kohlhase 2015-01-16 09:43:17 +01:00
parent 1e7f94e9f6
commit d3a141c9cf

View File

@ -6,7 +6,7 @@ EXPORTED = $(TMP)/$(TDSCOLL).exp
TDSDIR = $(TMP)/$(TDSCOLL).tds TDSDIR = $(TMP)/$(TDSCOLL).tds
TDSZIP = $(TMP)/$(TDSCOLL).tds.zip TDSZIP = $(TMP)/$(TDSCOLL).tds.zip
CTANDIR = $(TMP)/$(TDSCOLL) CTANDIR = $(TMP)/$(TDSCOLL)
CTANZIP = $(TMP)/$(TDSCOLL).ctan.zip CTANZIP = $(TMP)/$(TDSCOLL).ctan.zip
# this target makes the file CTANZIP by creating and populating the directory # this target makes the file CTANZIP by creating and populating the directory
# CTANDIR and zipping it. To be current, we first make all, and update # CTANDIR and zipping it. To be current, we first make all, and update
@ -24,7 +24,7 @@ ctan: all filedate checksum
cd $(EXPORTED); $(MAKE) -$(MAKEFLAGS) ctanext cd $(EXPORTED); $(MAKE) -$(MAKEFLAGS) ctanext
@echo "zipping the result to $(TDSCOLL).ctan.zip" @echo "zipping the result to $(TDSCOLL).ctan.zip"
cd $(TMP); zip -r -q $(CTANZIP) $(TDSCOLL); cp $(CTANZIP) $(HERE) cd $(TMP); zip -r -q $(CTANZIP) $(TDSCOLL); cp $(CTANZIP) $(HERE)
rm -Rf $(EXPORTED) $(CTANDIR) $(CTANZIP) # rm -Rf $(EXPORTED) $(CTANDIR) $(CTANZIP)
# this target is run on EXPORTED. It first makes the target tdsext below, # this target is run on EXPORTED. It first makes the target tdsext below,
# and then copies all necessary stuff into CTANDIR. # and then copies all necessary stuff into CTANDIR.