stop installing duplicate docs; tweak installed files; Add info manual to doc-base