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
