Link to new synopsis page

index.html

@@ -46,7 +46,7 @@
   <div class="col-sm-6 col-md-4">
     <h2>Learn</h2>
 
-    <a href="lib/doc/synopsis.html" class="btn btn-primary mb-2">
+    <a href="lib/doc/synopsis/index.html" class="btn btn-primary mb-2">
       <i class="fab fa-readme mr-1"></i>
       RGL Library Synopsis
     </a>
@@ -164,7 +164,7 @@ least one, it may help you to get a first idea of what GF is.
     <a href="http://cloud.grammaticalframework.org/minibar/minibar.html">multilingual web gadgets</a>,
     <a href="http://www.cs.chalmers.se/~hallgren/Alfa/Tutorial/GFplugin.html">natural-language interfaces</a>,
     <a href="http://www.youtube.com/watch?v=1bfaYHWS6zU">dialogue systems</a>, and
-    <a href="lib/doc/synopsis.html">natural language resources</a>.
+    <a href="lib/doc/synopsis/index.html">natural language resources</a>.
     </p>
 
     <p>
@@ -318,7 +318,7 @@ least one, it may help you to get a first idea of what GF is.
     Libraries are at the heart of modern software engineering. In natural language
     applications, libraries are a way to cope with thousands of details involved in
     syntax, lexicon, and inflection. The
-    <a href="lib/doc/synopsis.html">GF resource grammar library</a> has
+    <a href="lib/doc/synopsis/index.html">GF resource grammar library</a> has
     support for an increasing number of languages, currently including
     Afrikaans,
     Amharic (partial),