History of PDFprint v. 1.2
03/22/98 Version 1.2:
Added configuration file and configure option
03/15/98 Version 1.1:
Added a control on file extension: only .pdf and .PDF extensions are accepted
03/08/98 Version 1.0
First public release