From d82a53ebc660cf0319cd18edb4ddf9a2256bda3f Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Sun, 9 Dec 2018 20:38:02 +0100 Subject: Replace gf-refman.html with Markdown version gf-refman.md 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 --- .gitignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 1e25373d7..6025f5a4b 100644 --- a/.gitignore +++ b/.gitignore @@ -54,7 +54,7 @@ doc/gf-bibliography.html doc/gf-developers.html doc/gf-editor-modes.html doc/gf-people.html -doc/gf-reference.html +doc/gf-refman.html doc/gf-shell-reference.html doc/icfp-2012.html download/*.html -- cgit v1.2.3