Searched defs:footnote_num (Results 1 – 1 of 1) sorted by relevance
361 int footnote_num = 0; /* number of footnotes--for include files */ in print_label_refs() local492 int footnote_num = 0; /* number of footnotes--for include files */ in print_labels() local