devices/grohtml/post-html.cpp

1938   files                file_list;
2494 		      header.headings.add_string(file_list.file_name()),
2495 		      file_list.file_name().length(),
2880   file_list.add_new_file(xtmpfile());
2881   file_list.set_links_required();
2882   html.set_file(file_list.get_file());
2894     html.set_file(file_list.get_file());  // flush current file
2895     file_list.add_new_file(xtmpfile());
2903     file_list.set_file_name(split_file);
2904     html.set_file(file_list.get_file());
4198   file_list.add_new_file(xtmpfile());
4199   html.set_file(file_list.get_file());
4602   file_list.start_of_list();
4606   next = file_list.next_file_name();
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());
4615     file_list.move_next();
4616     if (file_list.is_new_output_file()) {
4621       next = file_list.next_file_name();
4623       string split_file = file_list.file_name();
4631     if (file_list.are_links_required())