Pass installation directories to configure script. Don't install manual twice into different directories.