summaryrefslogtreecommitdiff
path: root/doc/gf-refman.md
AgeCommit message (Collapse)Author
2021-02-22(refman) Add section about lists + links to my blogInari Listenmaa
2019-05-05corrected some minor typos in reference manualgear0
2018-12-10TOC for Markdown should now work for both Pandoc < 2.0 and >= 2.0John J. Camilleri
The use of $toc$ and $table-of-contents$ flags changed, see: https://pandoc.org/releases.html#pandoc-2.0-29-oct-2017 under "Behaviour changes"
2018-12-09Replace gf-refman.html with Markdown version gf-refman.mdJohn J. Camilleri
The raw HTML was invalid, and this way we use the common website template for a uniform look without any duplication. It seems gf-refman.html was once generated from txt2tags, although I have been unable to find this original .t2t file. I also tried to re-generate txt2tags from HTML but was not able to. However I was able to convert HTML to Markdown using Pandoc and I think the result is pretty good, so I think we should use this. The original gf-refman.html can be obtained from git history, e.g.: https://github.com/GrammaticalFramework/gf-core/blob/a7e43d872f5e612f93131f2d8caf811fbee9aa83/doc/gf-refman.html