Have the usermanual in PDF format end up in the build directory

Have the usermanual in PDF format end up in the build directory, not the source directory, just like all other formats.