devices/grohtml/post-html.cpp

162   FILE       *get_file           (void);
188  *  get_file - returns the FILE associated with ptr.
191 FILE *files::get_file (void)
2882   html.set_file(file_list.get_file());
2894     html.set_file(file_list.get_file());  // flush current file
2904     html.set_file(file_list.get_file());
4199   html.set_file(file_list.get_file());
4609   while (file_list.get_file() != 0) {
4610     if (fseek(file_list.get_file(), 0L, 0) < 0)
4612     html.copy_file(file_list.get_file());
4613     fclose(file_list.get_file());