Lines Matching defs:write_file
35 * write_file() - Copy a file to the output.
188 static void write_file(FILE *out, const char *file);
2981 * 'write_file()' - Copy a file to the output.
2985 write_file(FILE *out, /* I - Output file */
3471 write_file(out, headerfile);
3496 write_file(out, introfile);
3760 write_file(out, footerfile);
3865 write_file(out, cssfile);
4068 write_file(stdout, headerfile);
4085 write_file(stdout, introfile);
4530 write_file(stdout, footerfile);