linux select pages from pdf

Shell
pdftk infile.pdf cat 12-15 output outfile.pdf
Source

Also in Shell: