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)  | 
