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