Today I needed to remove some pages from a bunch of PDF files. In search of a tool, I came across the article Manipulating PDFs with the PDF Toolkit. To cut out pages 10-25 from a PDF type:
pdftk old.pdf cat 1-9 26-end output new.pdf
If you don’t have it already, you need to install the Ubuntu/Debian package
In related news: It’s Christmas. So merry Christmas to everyone. I will be quite busy between the years (a translation of zwischen den Jahren, an expression used in Germany to describe the time between Christmas and the first day of the new year). I will participate in a bunch of Christmas-related events today and tomorrow and will be at the 23rd Chaos Comminication Congress in Berlin from December 26. See you there!
Shameless plug: If this post was useful to you, please consider buying yourself something from one of my Amazon stores: US store, UK store, FR store, DE store, CA store. If you're not into Amazon, why not donate something to GNOME, Mozilla or Wikipedia? Thank you!