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.
That's a good thought Jon maybe this is better done at a PM level, we don't want to compromise the site.