diff options
| author | Thibaud Colas <thibaudcolas@gmail.com> | 2021-02-04 22:04:17 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-04 22:04:17 +0000 |
| commit | 00e2c2e2502dd27c6726586cde921d0981e74c02 (patch) | |
| tree | 4249f60723f4125cac719b803333508bfc09d328 | |
| parent | ec5b169312399b700298ab95d860a1e217872832 (diff) | |
| download | sphinx-git-00e2c2e2502dd27c6726586cde921d0981e74c02.tar.gz | |
Fix broken "Extend" link in site header
Spotted while navigating https://www.sphinx-doc.org/en/master/.
| -rw-r--r-- | doc/_themes/sphinx13/layout.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/_themes/sphinx13/layout.html b/doc/_themes/sphinx13/layout.html index 238fb52b7..b7f7c1424 100644 --- a/doc/_themes/sphinx13/layout.html +++ b/doc/_themes/sphinx13/layout.html @@ -67,7 +67,7 @@ <li><a href="{{ pathto('index') }}">Home</a></li> <li><a href="{{ pathto('usage/installation') }}">Get it</a></li> <li><a href="{{ pathto('contents') }}">Docs</a></li> - <li><a href="{{ pathto('development') }}">Extend</a></li> + <li><a href="{{ pathto('development/index') }}">Extend</a></li> </ul> <div> <a href="{{ pathto('index') }}"> |