From f78dfe80a2e4edfe93ea7b6efb4e71b15acdb37f Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Sat, 8 Dec 2018 14:29:02 +0100 Subject: [PATCH] Update doc/index page --- .gitignore | 1 + doc/index.html | 69 -------------------------------------------------- doc/index.md | 12 +++++++++ 3 files changed, 13 insertions(+), 69 deletions(-) delete mode 100644 doc/index.html create mode 100644 doc/index.md diff --git a/.gitignore b/.gitignore index fed3570b0..1e25373d7 100644 --- a/.gitignore +++ b/.gitignore @@ -49,6 +49,7 @@ demos/index-numbers.html demos/resourcegrammars.html demos/translation.html doc/tutorial/gf-tutorial.html +doc/index.html doc/gf-bibliography.html doc/gf-developers.html doc/gf-editor-modes.html diff --git a/doc/index.html b/doc/index.html deleted file mode 100644 index 3d2cda8dc..000000000 --- a/doc/index.html +++ /dev/null @@ -1,69 +0,0 @@ - - - -GF Documentation - - - - - - -
- - - - - -

Grammatical Framework Documents

-
- - -Top-5 documents: - -Quick start instruction. - - -Old Tutorial, application-oriented. - -New Tutorial, linguistics-oriented. - -ReferenceManual. - -LibrarySynopsis. - - - - -

Language and system documentation

- - - - -

Publications

- - -Bibliography: more publications on GF, as well as background literature. - - - diff --git a/doc/index.md b/doc/index.md new file mode 100644 index 000000000..18c4979c1 --- /dev/null +++ b/doc/index.md @@ -0,0 +1,12 @@ +--- +title: Grammatical Framework Documentation +--- + +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 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. +- [Developers Guide](gf-developers/html). Detailed information about building and developing GF.