docs: build the web manuals for CVS in the builddir, not in the srcdir