[hotfix] [docs] Fix missing menu item and improve other items

spotify · Aug 9, 2017 · fe5de7e · fe5de7e
1 parent 849990c
commit fe5de7e
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/docs/dev/event_time.md b/docs/dev/event_time.md
@@ -3,7 +3,7 @@ title: "Event Time"
 nav-id: event_time
 nav-show_overview: true
 nav-parent_id: streaming
-nav-pos: 20
+nav-pos: 2
 ---
 <!--
 Licensed to the Apache Software Foundation (ASF) under one

diff --git a/docs/dev/stream/state/index.md b/docs/dev/stream/state/index.md
@@ -1,4 +1,4 @@
- ---
+---
 title: "State & Fault Tolerance"
 nav-id: streaming_state
 nav-title: "State & Fault Tolerance"

diff --git a/docs/ops/state/large_state_tuning.md b/docs/ops/state/large_state_tuning.md
@@ -1,5 +1,5 @@
 ---
-title: "Debugging and Tuning Checkpoints and Large State"
+title: "Tuning Checkpoints and Large State"
 nav-parent_id: ops_state
 nav-pos: 12
 ---