Allow page ranges in pdftohtml

Submitted by ulatekh

Assigned to poppler-bugs

Created attachment 140875 Patch to add functionality

I'm using pdftohtml to extract information from PDFs and organize the results into a database, so I had a chance to dig through the code.

The patch adds a "-pg" command-line option to pdftohtml, to allow noncontiguous ranges of pages to be specified.

I don't know what the policy is on using Boost inside of poppler, but I can hand-write a simple integer interval-set if it's a problem.

The "-pg" command-line option may be useful in other utilities, e.g. pdfseparate.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information