Searched refs:current_float_id (Results 1 – 4 of 4) sorted by relevance
47 extern char *current_float_id (void);
834 "name=\"%s\"", current_float_id ()); in begin_insertion()852 if ((!xml || docbook) && strlen (current_float_id ()) > 0) in begin_insertion()853 execute_string ("@anchor{%s}", current_float_id ()); in begin_insertion()1175 if (strlen (current_float_id ()) > 0) in end_insertion()1186 || strlen (current_float_id ()) > 0) in end_insertion()
1362 if (strlen (current_float_id ()) == 0) in xml_begin_docbook_float()1366 "id=\"%s\"", xml_id (current_float_id ())); in xml_begin_docbook_float()1368 else if (strlen (current_float_id ()) == 0) in xml_begin_docbook_float()1372 "id=\"%s\" label=\"%s\"", xml_id (current_float_id ()), in xml_begin_docbook_float()
134 current_float_id (void) in current_float_id() function