summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorJohn J. Camilleri <john@digitalgrammars.com>2019-05-20 10:36:35 +0200
committerJohn J. Camilleri <john@digitalgrammars.com>2019-05-20 10:36:35 +0200
commit7a3efdfeb9171a38e594f177d0541124837d32ba (patch)
tree85ca159d7108292a4f32842f10aff8ee1be095a6 /doc
parent86066d4b12d61e999740bf6a3a09b6547697ee13 (diff)
Update link to RGL tutorial (now HTML version)
Diffstat (limited to 'doc')
-rw-r--r--doc/index.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/index.md b/doc/index.md
index 18c4979c1..39d2c3036 100644
--- a/doc/index.md
+++ b/doc/index.md
@@ -6,6 +6,7 @@ Perhaps you're looking for one of the following:
- [Tutorial](tutorial/gf-tutorial.html). This is a hands-on introduction to grammar writing in GF.
- [Reference Manual](gf-refman.html). A full-scale reference manual of the GF language.
+- [RGL Tutorial](../lib/doc/rgl-tutorial/index.html)
- [RGL Synopsis](../lib/doc/synopsis/index.html). Documentation of the Resource Grammar Library, including the syntax API and lexical paradigms for each language.
- [Shell Reference](gf-shell-reference.html). Describes the commands available in the interactive GF shell.
Also summarizes how to run GF as a batch compiler.