Searched refs:change_anchor_names (Results 1 – 3 of 3) sorted by relevance
1029 change_anchor_names( $rtoc, $src_basename, "$src_frame_name" );1097 sub change_anchor_names { subroutine
4893 change_anchor_names( $rtoc, $src_basename, "$src_frame_name" );4959 sub change_anchor_names { subroutine
5064 change_anchor_names( $rtoc, $src_basename, "$src_frame_name" );5130 sub change_anchor_names { subroutine