From 9f9d1aa0aecfe3e15bc5a7289f66e31b420ea2a8 Mon Sep 17 00:00:00 2001 From: Khaled Hosny Date: Thu, 6 Oct 2011 02:31:33 +0200 Subject: We do not use any indexes --- Makefile | 3 --- 1 file changed, 3 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index f6a099e..4acbc96 100644 --- a/Makefile +++ b/Makefile @@ -42,7 +42,6 @@ ZIPS = $(CTAN_ZIP) $(TDS_ZIP) DO_TEX = tex --interaction=batchmode $< >/dev/null DO_LATEX = lualatex --interaction=batchmode $< >/dev/null -DO_MAKEINDEX = makeindex -s gind.ist $(subst .dtx,,$<) >/dev/null 2>&1 all: $(GENERATED) doc: $(COMPILED) @@ -52,8 +51,6 @@ tds: $(TDS_ZIP) world: all ctan $(COMPILED): $(DTX) - $(DO_LATEX) - $(DO_MAKEINDEX) $(DO_LATEX) $(DO_LATEX) -- cgit v1.2.3