From 312ae1acad7325b7007caa2a75eeb77b531b0537 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sun, 13 Feb 2022 21:45:01 -0500
Subject: Add useful links to documentation main page

---
 docs/doc/index.html | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'docs/doc')

diff --git a/docs/doc/index.html b/docs/doc/index.html
index b4110034..49567105 100644
--- a/docs/doc/index.html
+++ b/docs/doc/index.html
@@ -12,6 +12,8 @@
 <li><a href="types.html">Types</a></li>
 <li><a href="primitive.html">Primitives</a></li>
 <li><a href="paradigms.html">Paradigms</a></li>
+<li>See also <a href="../help/index.html">help index</a>; <a href="https://gist.github.com/dzaima/52b47f898c5d43f72dc2637d6cdadedd">summary gist</a></li>
+<li>And <a href="../spec/system.html">system values</a> (not always implemented)</li>
 </ul>
 <p>References:</p>
 <ul>
-- 
cgit v1.2.3