pdf_date         2272 src/prt2pdf/prt2pdf.c   char pdf_date [128];
pdf_date         2273 src/prt2pdf/prt2pdf.c   (void)strftime (pdf_date, sizeof (pdf_date) - 1, "D:%Y%m%d%H%M%S", t);
pdf_date         2275 src/prt2pdf/prt2pdf.c   (void)printf ("<</Producer(%s)/CreationDate(%s)/ModDate(%s)>>\nendobj\n", producer_str, pdf_date, pdf_date);