Searched refs:do_cmd_index (Results 1 – 16 of 16) sorted by relevance
13 &do_cmd_index;
665 &do_cmd_index("$OP$br_id$CP$index_key$OP$br_id$CP") }666 else { $name++; &do_cmd_index("$OP$name$CP$index_key$OP$name$CP") }
1263 sub do_cmd_index { &do_frame_index(@_); } subroutine
1345 sub do_cmd_index { &do_frame_index(@_); } subroutine
1703 # Changed do_cmd_index to call make_index_entry
14058 sub do_cmd_indexstar { &do_cmd_index(@_) }
14081 sub do_cmd_index { &do_real_index(@_) }14091 sub do_cmd_indexstar { &do_cmd_index(@_) }
13928 sub do_cmd_index { &do_real_index(@_) }13938 sub do_cmd_indexstar { &do_cmd_index(@_) }