Brad King c273906f48 Utilities/Sphinx: Build documentation independently by default
Previously we made the `documentation` target depend on the executable
targets.  There is no real reason to do this other than serializing the
documentation build output in terminals.  Move this dependency behind an
undocumented option so that it is not on by default.
2017-05-01 13:18:25 -04:00
..
2013-11-05 08:59:02 -05:00