Quote:

Take the PDF to a copy center and have it printed and binded for you.



around here commercial printers like KINKOS won't print copies of (C) books, manuals etc.

But you can buy printer paper that is pre-punched for binders and do it yourself:

http://www.officedepot.com/a/products/495200/Office-Depot-Brand-3-Hole-Punch/
(price is for a whole box... but if it's available that way, it should be available in smaller packs)
or

http://www.bizrate.com/paper/608921824.html

Advantages of doing this are:

1) you can print the "WHAT'S NEW IN THIS VERSION" manual and insert the pages at the correct place in the binder
2) if you have software that lets you edit PDFs, you can maintain your own merged and customized version of the manual
3) you can create separate sections or edit the PDF to insert other tricks or pertinent information where applicable
4) you can edit the table of contents to use whatever keywords or description you choose

https://www.dropbox.com/sh/ey71h8ep047758h/AAC12jNM0Hz9Q8zsh5iDeqNHa?dl=0