makeindex.mk
changeset 2 ee79fe77b3c7
parent 1 28e8d4c0e55e
child 6 22214389caed
--- a/makeindex.mk	Mon Apr 19 14:02:15 2010 +0300
+++ b/makeindex.mk	Mon May 03 13:01:49 2010 +0300
@@ -25,8 +25,7 @@
 
 SAVESPACE : do_nothing
 
-BLD :
-	-$(MAKE) index
+BLD : do_nothing
 
 FREEZE : do_nothing
 
@@ -34,7 +33,8 @@
 
 CLEANLIB : do_nothing
 
-FINAL : do_nothing
+FINAL :
+	-$(MAKE) index
 
 CLEAN : do_nothing