*** pdftex.ch.org	Wed Jul 30 20:47:21 2003
--- pdftex.ch	Wed Jul 30 20:58:40 2003
***************
*** 4585,4597 ****
  pdf_print_ln(")")
  
  @ @<Print the CreationDate key@>=
! pdf_print("/CreationDate (D:");
! pdf_print_int(year);
! pdf_print_two(month);
! pdf_print_two(day);
! pdf_print_two(time div 60);
! pdf_print_two(time mod 60);
! pdf_print_ln("00)")
  
  @ @<Glob...@>=
  @!pdftex_banner: str_number;   {the complete banner}
--- 4585,4591 ----
  pdf_print_ln(")")
  
  @ @<Print the CreationDate key@>=
! print_creation_date;
  
  @ @<Glob...@>=
  @!pdftex_banner: str_number;   {the complete banner}