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