docs: Fix goals order

2023-11-27 15:53:31 -05:00 · 2023-11-27 15:53:31 -05:00 · 0eebde9936
parent 73b1413825
commit 0eebde9936
1 changed files with 4 additions and 0 deletions
--- a/docs/index.md
+++ b/docs/index.md
@ -1,3 +1,7 @@
+---
+nav_order: 1
+---
+
 # Goals

 This project's toplevel goal is to maintain default definitions for