diff options
author | rsiddharth <rsd@gnu.org> | 2019-06-13 21:40:16 -0400 |
---|---|---|
committer | rsiddharth <rsd@gnu.org> | 2019-06-13 21:40:16 -0400 |
commit | a229089f609cefbcd023e2291fa6c397088c7f7c (patch) | |
tree | 42d5d6016df0db1b6fdf58023cd1d87028f33d86 /docs/conf.py | |
parent | 72fb24a36349388f331aa329420a552e5198f207 (diff) |
docs/conf.py: Add 'Report Bugs' link.
Diffstat (limited to 'docs/conf.py')
-rw-r--r-- | docs/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index dd6e68a..ccfc00b 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -124,6 +124,7 @@ html_theme = 'alabaster' html_theme_options = { 'extra_nav_links': { 'browse source': 'https://notabug.org/rsd/lpschedule-generator', + 'Report Bugs': 'https://notabug.org/rsd/lpschedule-generator/issues' } } |