/* * Close down the graphics processing. This gets called only at driver * termination time. */ #include #include "psdriver.h" void PS_Graph_close(void) { if (!ps.no_trailer) { output("%%%%BeginTrailer\n"); output("END\n"); output("%%%%EndTrailer\n"); } fclose(ps.tempfp); G_rename_file(ps.tempfile, ps.outfile); }