i've put a sketchy man page for Thanh's nice pdftosrc utility at http://www.circuitwizard.de/misc/pdftosrc.1.gz Please have a look whether one can live with it for now. Hope this helps to close the complaints from debian. Thanks a lot. Regards, Hartmut