Commit 51b86cd3 authored by Robert Ricci's avatar Robert Ricci

Add ToC to front page

parent e5aed5ff
......@@ -39,6 +39,8 @@ control system can be found on CloudLab's @hyperlink[(apturl
Take a look at the @seclink["preview-notes"]{preview notes}, and then
@seclink["getting-started"]{get started}!
@table-of-contents[]
@include-section["preview-notes.scrbl"]
@include-section["getting-started.scrbl"]
@include-section["users.scrbl"]
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment