4 ms·
I downloaded and merged the individual PDFs into one file, you can grab it here: https://dl.dropboxusercontent.com/u/6428759/merged.pdf https://dl.dropboxuserc
by jontas 13y ago
I downloaded and merged the individual PDFs into one file, you can grab it here:
https://dl.dropboxusercontent.com/u/6428759/merged.pdf https://dl.dropboxusercontent.com/u/6428759/merged.pdf
Edit: I did this using commands mentioned in some other comments and some Googling (this only works on OSX):
curl -O http://i.stanford.edu/~ullman/focs/ch[01-14].pdf http://i.stanford.edu/~ullman/focs/ch[01-14].pdf && /System/Library/Automator/Combine\ PDF\ Pages.action/Contents/Resources/join.py -o ./merged.pdf ./*.pdf
- wolfhumble 13y agoCool one-liner! Might want to switch the last part of the command, though, as all other pdf files in that folder get merged in as well (learned the hard way) :-) Something like this would probably be safer: curl -O http://i.stanford.edu/~ullman/focs/ch[01-14].pdf http://i.stanford.edu/~ullman/focs/ch[01-14].pdf && /System/Library/Automator/Combine\ PDF\ Pages.action/Contents/Resources/join.py -o ./merged.pdf ./ch[0-1][0-9].pdf
- jontas 13y agoSorry about that--I actually just created a new folder and moved into it before running the command, I probably should've mentioned that to prevent the issue you ran into.
- ekns 13y agoHere's a more portable version (works with bash, pdftk and wget): wget http://i.stanford.edu/~ullman/focs/ch{01..14}.pdf http://i.stanford.edu/~ullman/focs/ch{01..14}.pdf && pdftk ch*.pdf cat output merged.pdf