Created attachment 140875 [details] [review] 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.
Please don't use boost.
That's too bad. I was hoping boost was considered one of the "standard components of modern Unix desktop environments", like mentioned in the README file. In any case, the new patch has a custom-written interval-set, and uses strtok_r() instead of boost::split.
Created attachment 140966 [details] [review] Patch to add functionality
-- GitLab Migration Automatic Message -- This bug has been migrated to freedesktop.org's GitLab instance and has been closed from further activity. You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.freedesktop.org/poppler/poppler/issues/621.
Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.