aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2018-11-24 19:35:14 +0100
committerJonas Smedegaard <dr@jones.dk>2018-11-24 19:35:30 +0100
commit8c8305ed3e846c61322362ff37973caafc2eb0c1 (patch)
tree6271b9c54700902ec47de4948afbd8a7c2a81ab7
parent4770bb3b198b15ea146fe2b306c034e88f3f9cb5 (diff)
Label front page as Introduction (not Home).
-rw-r--r--mkdocs.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/mkdocs.yml b/mkdocs.yml
index 92a1901..8eccc29 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -1,5 +1,5 @@
site_name: Shell account
nav:
-- Home: 'index.md'
+- Introduction: 'index.md'
- Use: 'use.md'
- Administration: 'admin.md'