diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/template.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/template.html b/bin/template.html index 15306e1d9..b6b520954 100644 --- a/bin/template.html +++ b/bin/template.html @@ -82,9 +82,10 @@ $body$ <li><a href="http://cloud.grammaticalframework.org/">GF Cloud</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$/doc/gf-video-tutorials.html">Video Tutorials</a></li> <li><a href="$rel-root$/download"><strong>Download GF</strong></a></li> </ul> </div> |