option a added to sphinx-build script