Fix link to HOWTO's

Followup to #571, which added a link to HOWTOs/index.md but didn't include that page in the summary, resulting in a 404.
apalache-mc · Mar 8, 2021 · 57b5488 · 57b5488
1 parent 3042653
commit 57b5488
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/src/SUMMARY.md b/docs/src/SUMMARY.md
@@ -31,6 +31,7 @@
 
 # HOWTOs
 
+- [Contents](./HOWTOs/index.md)
 - [How to write type annotations](./HOWTOs/howto-write-type-annotations.md)
 
 # TLA+ Language Manual for Engineers