makeindex.mk
changeset 2 ee79fe77b3c7
parent 1 28e8d4c0e55e
child 6 22214389caed
equal deleted inserted replaced
1:28e8d4c0e55e 2:ee79fe77b3c7
    23 
    23 
    24 RESOURCE : do_nothing
    24 RESOURCE : do_nothing
    25 
    25 
    26 SAVESPACE : do_nothing
    26 SAVESPACE : do_nothing
    27 
    27 
    28 BLD :
    28 BLD : do_nothing
    29 	-$(MAKE) index
       
    30 
    29 
    31 FREEZE : do_nothing
    30 FREEZE : do_nothing
    32 
    31 
    33 LIB : do_nothing
    32 LIB : do_nothing
    34 
    33 
    35 CLEANLIB : do_nothing
    34 CLEANLIB : do_nothing
    36 
    35 
    37 FINAL : do_nothing
    36 FINAL :
       
    37 	-$(MAKE) index
    38 
    38 
    39 CLEAN : do_nothing
    39 CLEAN : do_nothing
    40 
    40 
    41 RELEASABLES : do_nothing
    41 RELEASABLES : do_nothing