draining just to be sure for CTAN distribution

This commit is contained in:
Michael Kohlhase 2015-11-20 10:26:54 +01:00
parent db9ea55718
commit 9ede431992
1 changed files with 1 additions and 0 deletions

View File

@ -7,6 +7,7 @@ TDSDIR = $(TMP)/$(TDSCOLL).tds
TDSZIP = $(TMP)/$(TDSCOLL).tds.zip
CTANDIR = $(TMP)/$(TDSCOLL)
CTANZIP = $(TMP)/$(TDSCOLL).ctan.zip
MAKE = make
# 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