Use separate build and source dirs for the manual.