diff options
| author | Jeff Epler <jepler@gmail.com> | 2020-08-26 20:41:25 -0500 |
|---|---|---|
| committer | Jeff Epler <jepler@gmail.com> | 2020-08-26 20:41:25 -0500 |
| commit | 200a296b5cf6851b72460d49fdb3be43980f2d9b (patch) | |
| tree | 15506949ae7aacf7c378a4c1f708d195c06ee3b6 /shared-module/sharpdisplay | |
| parent | 58a7419b4ffcc99a7ea290f878f65b7e09acf027 (diff) | |
conf.py (docs): Reorder the steps of the doc build
Since e121e267adacf6, the shared bindings matrix uses the stubs.
Therefore, we must build them! This should fix the failure to build
the docs on readthedocs.org.
Neither @sommersoft nor I saw this locally since we had previously built
the stubs. github CI didn't see it, because it manually builds the stubs
in an earlier step of the build process, and does not clean the tree
in between.
Diffstat (limited to 'shared-module/sharpdisplay')
0 files changed, 0 insertions, 0 deletions