Doc generation disabled. Remove this file, configure with --enable-generate-docs, and rebuild BUNDY