Rename --use-sphinx and --use-doxygen to --with-sphinx and

--with-doxygen, and add no-op --without versions for both. This makes
it easier to script the build in Gentoo's ebuild.

0 files changed, 0 insertions, 0 deletions