Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
documentation: added create extras folder
Added some code which checks whether the extras folder exists and
creates it if not. This is in response to RTD moaning that it couldn't
find the extras folder all of a sudden.
  • Loading branch information
mrshll1001 committed Feb 22, 2024
commit ab43efa7255576bcd390fa3673f1a1834ac81bd9
3 changes: 3 additions & 0 deletions documentation/conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -420,6 +420,9 @@
# IMPORTANT: Update this URL when the dei extension is merged in
base_url = "https://raw.githubusercontent.com/ThreeSixtyGiving/extensions-registry/add-dei-extension/extensions/"

if not os.path.exists("./extras"):
os.mkdir("./extras")

if not os.path.exists("./extras/extensions/"):
os.mkdir("./extras/extensions/")

Expand Down