1224
xml_insert_element_with_attribute (ANCHOR, START, "name=\"%s\"", anchor);
1225
1237
xml_insert_element (ANCHOR, END);
1227
1240
/* Save it in the tag table. */
1228
1241
remember_node (anchor, NULL, NULL, NULL,
1229
1242
output_position + output_paragraph_offset,