Just a thought - I think making a copy for your own use maybe ok, but I imagine that many printed manuals are protected by copyright, often for something like 70 years.