diff options
author | 2024-08-09 16:16:55 +0100 | |
---|---|---|
committer | 2024-08-09 16:16:55 +0100 | |
commit | 5df9fe1936ce51a6adbd230b6631c1d3796281f5 (patch) | |
tree | aa3d53f5d4a87cb416832c33334021ab64e436a7 | |
parent | Add edit buttons to generated documentation pages (diff) |
Correct URI for Git edits
-rw-r--r-- | docs/mkdocs.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml index 552714f..7b9e52f 100644 --- a/docs/mkdocs.yml +++ b/docs/mkdocs.yml @@ -6,7 +6,7 @@ site_url: https://python-discord.github.io/infra/ # Set GitHub repository metadata repo_url: https://github.com/python-discord/infra repo_name: python-discord/infra -edit_uri: edit/main/docs/ +edit_uri: edit/main/docs/docs/ # Enable markdown features markdown_extensions: @@ -70,6 +70,7 @@ theme: - content.code.annotate # Git edits call-to-action - content.action.edit + - content.action.view # Add nicer tooltips - content.tooltips # Use instant navigation for faster page loading, with a progress bar |