summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorInari Listenmaa <inari.listenmaa@gmail.com>2020-08-31 15:31:31 +0200
committerGitHub <noreply@github.com>2020-08-31 15:31:31 +0200
commit3de9c664fd7e6636a8ebbd81dbaea56f03900dfc (patch)
tree7816793dd5dd692524b14c902a187468d731dd3a /bin
parent254f03ecfead661a44f7385af122ddc908c806e0 (diff)
parentf6560d309e6a766befd91e4adbc5c68e3a23918e (diff)
Merge pull request #73 from inariksit/video-tutorial-page
(Homepage) Change link of video tutorials to a page + small fixes
Diffstat (limited to 'bin')
-rw-r--r--bin/template.html3
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>