diff options
| author | Andreas Källberg <anka.213@gmail.com> | 2020-09-05 21:11:12 +0200 |
|---|---|---|
| committer | Andreas Källberg <anka.213@gmail.com> | 2020-09-05 21:11:12 +0200 |
| commit | 56f94da772566a1960d889c14c420ee832038365 (patch) | |
| tree | 86737b1039dfa03b3fb289cdb309b80a5f35f759 /bin/template.html | |
| parent | 57ce76dbc121ee554675b9ee6136441ec0bb5710 (diff) | |
| parent | bca0691cb028fe33ae1b77e71752d4e937490ff1 (diff) | |
Merge remote-tracking branch 'origin/master' into fix-newer-cabal
Diffstat (limited to 'bin/template.html')
| -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> |