Update to the dev manual about .install