Add settings.md to docs (#5091)

## Summary It's kinda messed up: the depths are off, and the titles are incorrectly uppercased, but I'll fix those tomorrow. ![Screenshot 2024-07-15 at 10 38 50 PM](https://github.com/user-attachments/assets/3aabae67-4d6b-40e1-9523-2d4d1b7006b4)
2024-07-15 22:46:21 -04:00
parent 816d70cd23
commit 545bbf9286
2 changed files with 4 additions and 0 deletions
@@ -29,3 +29,6 @@ flamegraph.svg
 perf.data
 perf.data.old
 profile.json
+
+# MkDocs
+/site
@@ -89,6 +89,7 @@ nav:
  - Configuration:
      - Configuration files: configuration/files.md
      - Environment variables: configuration/environment.md
+      - Settings: settings.md
  - Integration guides:
      - Using in Docker: guides/docker.md
      - Using in GitHub Actions: guides/github.md