diff -r 28e8d4c0e55e -r ee79fe77b3c7 makeindex.mk --- 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