Chris Johns ff9d55501f Add a check for Sphinx extensions.
Minor clean up of the configure messages.

Do not re-check sphinx in the nested configures.
2017-02-25 15:05:09 +11:00
..
2016-05-02 20:51:24 -04:00
2017-02-22 07:09:21 +01:00
2016-05-02 20:51:24 -04:00
2017-02-25 15:05:09 +11:00