severity 495901 minor retitle 495901 pdftoppm man page doesn't document new name for ppm files stop
On Thu, Aug 21, 2008, grok wrote: > This is a bug AFAIC if the change is not documented, and > there remains no option to vary the number of leading (or > all) digits otherwise (which would be the preferred option). This is at least a bug on the man pages; I'm not sure this utility warrants a mechanism to customize the name of the output files. > At the very least the output format of pdftoppm should match > that of the xpdf version of the program if nothing else is > changed. I don't think poppler's pdftoppm aims to be bug for bug compatible with xpdf's. -- Loïc Minier -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
