Initial metrics server addition

sigp · Oct 1, 2024 · 629b9c7 · 629b9c7
1 parent 75dc5a3
commit 629b9c7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/book/src/SUMMARY.md b/book/src/SUMMARY.md
@@ -1,7 +1,8 @@
 # Summary
 
 * [Introduction](./intro.md)
+* [Metrics](./metrics.md)
 * [FAQs](./faq.md)
 * [Protocol Developers](./developers.md)
 * [Contributing](./contributing.md)
-  * [Development Environment](./setup.md)
+* [Development Environment](./setup.md)