Searched refs:title_number (Results 1 – 1 of 1) sorted by relevance
568 char *title_number = handle_enum_increment (level, index); in sectioning_html() local569 if (strlen (title_number) > 0) in sectioning_html()570 add_word_args ("%s ", title_number); in sectioning_html()