diff options
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -43,8 +43,8 @@ all: $(GENERATED) check: check-regs doc: $(COMPILED) unpack: $(UNPACKED) -ctan: $(CTAN_ZIP) -tds: check $(TDS_ZIP) Makefile +ctan: check $(CTAN_ZIP) +tds: $(TDS_ZIP) Makefile world: all ctan %.pdf: %.dtx $(DTXSTY) |