diff options
| author |  Joe Banks <[email protected]> | 2024-08-09 16:14:28 +0100 |
|---|---|---|
| committer | Joe Banks <[email protected]> | 2024-08-09 16:14:28 +0100 |
| commit | 30601f9b69944d3712b41ed099252a0a77e872a7 (patch) | |
| tree | e134a1a3f35700ad8c30d7291cab71c459a7992f | |
| parent | Correct for incompetent programmer (diff) | |
Add edit buttons to generated documentation pages
| -rw-r--r-- | docs/mkdocs.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml index 5e303d8..552714f 100644 --- a/docs/mkdocs.yml +++ b/docs/mkdocs.yml @@ -6,6 +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/ # Enable markdown features markdown_extensions: @@ -67,6 +68,8 @@ theme: features: # Add codeblock annotations - content.code.annotate + # Git edits call-to-action + - content.action.edit # Add nicer tooltips - content.tooltips # Use instant navigation for faster page loading, with a progress bar |