Sort out page titles

2019-11-03 19:06:33 +00:00
parent 51649fd806
commit 1446529f7c
3 changed files with 5 additions and 53 deletions
@@ -15,8 +15,8 @@ extra_javascript:

 nav:
  - Home: index.md
-  - "Setup guide": setup.md
-  - "Options": options.md
+  - setup.md
+  - options.md
  - deliver-to-pypi.md
  - faq.md
  - contributing.md