diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -49,7 +49,7 @@ DO_MAKEINDEX = makeindex -s gind.ist $(subst .dtx,,$<) >/dev/null 2>&1 # Main targets definition all: $(GENERATED) -check: check-regs check-attr check-cctb check-load check-modutils +check: check-regs check-attr check-cctb check-loader check-modutils doc: $(COMPILED) unpack: $(UNPACKED) ctan: check $(CTAN_ZIP) |