docs: set site_url to fix broken 404 page on RTD

Safe-DS · Apr 5, 2023 · 474ac40 · 474ac40
1 parent e39d83d
commit 474ac40
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -1,6 +1,7 @@
 site_name: API-Editor
 repo_url: https://github.com/Safe-DS/API-Editor
 repo_name: Safe-DS/API-Editor
+site_url: !ENV READTHEDOCS_CANONICAL_URL
 
 nav:
   - Home: