From 561f930e832e990053200478f60389f5b9b91aef Mon Sep 17 00:00:00 2001
From: Peter Mosses <18308236+pdmosses@users.noreply.github.com>
Date: Tue, 28 Apr 2020 17:33:59 +0200
Subject: [PATCH] Update navigation-structure.md

Deleted a spurious line from a previous version.
---
 docs/navigation-structure.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/navigation-structure.md b/docs/navigation-structure.md
index a35ca25..c175582 100644
--- a/docs/navigation-structure.md
+++ b/docs/navigation-structure.md
@@ -44,7 +44,6 @@ and appear after the explicitly-ordered pages at each level.
 By default, all Capital letters are sorted before all lowercase letters;
 adding `nav_sort: case_insensitive` in the configuration file ignores case
 when sorting strings (but also sorts numbers lexicographically: `10` comes before `1`).
-add `nav_sort: case_sensitive` in the configuration file.
 
 ---