Glen Whitney
b1203327ad
The mechanism here is to shadow a specified `custom.theme_dir` in the generated docs directory, and then ignore generated files therein (since they will be being used by the theme to render the pages, and are not actually part of the documentation). |
||
---|---|---|
.. | ||
html5shiv.min.js | ||
jquery-3.6.0.min.js | ||
theme_extra.js | ||
theme.js |