Windows: permit documentation to be built without binaries