You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
scripts/docs.sh was running sphinx build and then a custom post-process
command. Move this post-process command into a seperate script that is
invoked through the API extensions built into sphinx. This way servers
like ReadTheDocs can get the invocation.
This approach was discussed here:
- readthedocs/readthedocs.org#2276
Then modified for our purposes.
Signed-off-by: William Roberts <[email protected]>
0 commit comments