Skip to content
Snippets Groups Projects
Commit 2be01abe authored by Gigg, Martyn Anthony's avatar Gigg, Martyn Anthony
Browse files

Allow runsphinx_*.py scripts to be called by anyone

The driver script for running the sphinx process can now be called by a
user without any special requirements. The main use case will be
running a doctest individually.

It should be noted that even restricting the run to a single file with the
new -R option will actually still cause Sphinx to read every source file
at least once. This is baked in to Sphinx and cannot be avoided. However,
the config pickling does mean that all source files are only read once and
then after this only changed files are reread.
Refs #9639
Refs #
parent 84cf682b
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment