Make the new build system install the documentation