HomeSort by: relevance | last modified time | path
    Searched refs:split_file (Results 1 - 4 of 4) sorted by relevancy

  /src/external/gpl2/texinfo/dist/makeinfo/
node.h 130 extern void split_file (char *filename, int size);
node.c 1750 split_file (char *filename, int size)
1743 split_file (char *filename, int size) function
makeinfo.c 1774 split_file (real_output_filename, split_size);
  /src/external/gpl2/groff/dist/src/devices/grohtml/
post-html.cpp 2898 string split_file = job_name; local
2900 split_file += string("-");
2901 split_file += as_string(header.no_of_level_one_headings);
2902 split_file += string(".html");
2903 split_file += '\0';
2905 file_list.set_file_name(split_file);
4625 string split_file = file_list.file_name(); local
4626 split_file += '\0';
4628 freopen(split_file.contents(), "w", stdout);

Completed in 22 milliseconds