page extractor pdf linux code example Example: linux select pages from pdf pdftk infile.pdf cat 12-15 output outfile.pdf