To do properly, tougher than you'd think. Even with a good quality PDF file you'd most likely still need to rearrange the pages for printing, plus you'd have to print double-sided. Personally, I wouldn't really recommend it, especially when you can usually find standalone manuals for reasonable prices.