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