--disable-build-docs: This switch turns off the default enabled building of documentation since it requires OpenJade.