summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Collapse)Author
2025-08-08Add a nix flake for building with nix (#185)Andreas Källberg
Also based on #165 --------- Co-authored-by: o1lo01ol1o <tim.pierson@gmail.com> Co-authored-by: Tim Pierson <o1lo01ol1o@users.noreply.github.com>
2021-06-11Add output files for test suite in gitignoreInari Listenmaa
2020-11-17Remove RGL and HTML from Debian buildJohn J. Camilleri
2020-08-05Add cabal dist-newtyle to gitignoreAndreas Källberg
2019-08-28Update Stack files after testing with Stack v2John J. Camilleri
- Also bump up some minor GHC versions (8.4.3 -> 8.4.4, 8.6.2 -> 8.6.5) - Should still work with Stack < v2 (tested in docker/haskell:8.2.2)
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
2018-12-08Update doc/index pageJohn J. Camilleri
2018-11-28Merge branch 'master' into new-websiteJohn J. Camilleri
# Conflicts: # index.html
2018-11-27Remove faq. Update people page. Add SS to news.John J. Camilleri
2018-11-15Remove `src/ui` folder, moved to:John J. Camilleri
https://github.com/GrammaticalFramework/gf-offline-translator
2018-11-08Add download/index.md as demo of working Markdown rendering to HTMLJohn J. Camilleri
Archive 3.9 pages and mark current ones for 18-12
2018-11-03Add stack file, using image for GHC 8.2.2John J. Camilleri
2018-07-25[GF Split] Post-split updatesJohn J. Camilleri
2017-11-27Add cabal sandbox files to .gitignoreJohn J. Camilleri
2017-08-21Merge remote-tracking branch 'remotes/upstream/master'Ayberk Tosun
2017-08-21added .gitignoreKrasimir Angelov
2017-08-21Add *.gfo to gitignoreAyberk Tosun