diff options
| author | rsiddharth <rsd@gnu.org> | 2019-06-13 21:42:17 -0400 |
|---|---|---|
| committer | rsiddharth <rsd@gnu.org> | 2019-06-13 21:42:17 -0400 |
| commit | 4828b292002b8663380c94c0552152723f6c1fe1 (patch) | |
| tree | 82643613f86c71efca3a88024f6b1edbacf159a4 | |
| parent | 94eea6fa993ca19a57ff7e15e886fa2e43f173e9 (diff) | |
docs/conf.py: Rename 'browse source' -> 'Source'.
| -rw-r--r-- | docs/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/conf.py b/docs/conf.py index 6151203..8f3d34e 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -124,7 +124,7 @@ html_theme = 'alabaster' html_theme_options = { 'show_powered_by': False, 'extra_nav_links': { - 'browse source': 'https://notabug.org/rsd/lpschedule-generator', + 'Source': 'https://notabug.org/rsd/lpschedule-generator', 'Report Bugs': 'https://notabug.org/rsd/lpschedule-generator/issues' } } |