Change github_folder to repo_folder in conf.py

rkratky · rkratky · commit 883283536dc1 · 2025-03-15T18:53:03.000+01:00
diff --git a/website/conf.py b/website/conf.py
@@ -140,7 +140,7 @@
     # Docs location in the repo; used in links for viewing the source files
     #
     # TODO: To customise the directory, uncomment and update as needed.
-    "github_folder": "/website/",
+    "repo_folder": "/website/",
     # TODO: To enable or disable the Previous / Next buttons at the bottom of pages
     # Valid options: none, prev, next, both
     # "sequential_nav": "both",

Original file line number	Diff line number	Diff line change
`@@ -140,7 +140,7 @@`
`140`	`140`	`# Docs location in the repo; used in links for viewing the source files`
`141`	`141`	`#`
`142`	`142`	`# TODO: To customise the directory, uncomment and update as needed.`
`143`		`- "github_folder": "/website/",`
	`143`	`+ "repo_folder": "/website/",`
`144`	`144`	`# TODO: To enable or disable the Previous / Next buttons at the bottom of pages`
`145`	`145`	`# Valid options: none, prev, next, both`
`146`	`146`	`# "sequential_nav": "both",`