diff options
| author | lloyd <[email protected]> | 2011-04-18 16:09:22 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2011-04-18 16:09:22 +0000 |
| commit | 886252ce1a1b0de611c33c9eac0a91a0e6bf3276 (patch) | |
| tree | aeeb6126457b207a4b5a12dab489265ef61f232d /doc/build_log.txt | |
| parent | 6c33aa3e97cb9717d89fcae61f18dd58b2569866 (diff) | |
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.
Diffstat (limited to 'doc/build_log.txt')
0 files changed, 0 insertions, 0 deletions