diff man/maintaining.texi @ 38302:baa7f44697de

Use locale dependant date to print date in header. Doc fix. (ps-print-version): New version number (6.5.3). (ps-right-header, ps-right-footer): Initialization and doc fix. (ps-time-stamp-locale-default): New fun.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 06 Jul 2001 09:58:04 +0000
parents e781108d8f69
children cc3f1ee23db9
line wrap: on
line diff