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