diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/template.html | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/bin/template.html b/bin/template.html index 881f3f2e3..15306e1d9 100644 --- a/bin/template.html +++ b/bin/template.html @@ -80,7 +80,11 @@ $body$ <ul class="list-unstyled"> <li><a href="https://www.youtube.com/watch?v=x1LFbDQhbso">Google Tech Talk</a></li> <li><a href="http://cloud.grammaticalframework.org/">GF Cloud</a></li> - <li><a href="$rel-root$/doc/tutorial/gf-tutorial.html">Tutorial</a></li> + <li> + <a href="$rel-root$/doc/tutorial/gf-tutorial.html">Tutorial</a> + / + <a href="$rel-root$/lib/doc/rgl-tutorial/index.html">RGL Tutorial</a> + </li> <li><a href="$rel-root$/download"><strong>Download GF</strong></a></li> </ul> </div> |