add docs link at top

tnelson · Jul 23, 2024 · d9a94ad · d9a94ad
1 parent 383ac23
commit d9a94ad
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docs/index.md b/docs/index.md
@@ -61,7 +61,8 @@
 <div class="example">
   <div class="logoimg"><img src="./img/logo_trimmed.png"/></div> 
   <div class="viztext">
-    <div class="viznote">Forge is a lightweight formal-methods tool, similar to <a href="https://alloytools.org">Alloy 6</a>, built with <b>teaching</b> in mind. Forge provides a progression of sub-languages that gradually build in expressive power to match students' experience and expertise. 
+    <div class="viznote">Forge is a lightweight formal-methods tool, similar to <a href="https://alloytools.org">Alloy 6</a>, built with <b>teaching</b> in mind. Forge provides a progression of sub-languages that gradually build in expressive power to match students' experience and expertise. <br/><br/>
+    <A href="https://csci1710.github.io/forge-documentation/getting-started/installation.html">Installation and Documentation</A>
     </div>
   </div>
 </div>