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 pdftk first.
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!