Documentation should be copied to the website as part of the
source release process, not building win32 binaries.