Searched refs:push_node_filename (Results 1 – 2 of 2) sorted by relevance
267 push_node_filename (void) in push_node_filename() function296 push_node_filename (); in pushfile()
8168 * makeinfo/makeinfo.c (push_node_filename): Clean up calls to