release.nix: Install the manual under the right prefix.

Created by  Ludovic Courtès  on July 4, 2011
VXNVNOK5DNDR4KHTPBZSCOUTY5LYYAC75G5J6Y7B44N4W7QULMNQC
Change contents