John J. Camilleri
8550f8deaf
Remove RGL and HTML from Debian build
2020-11-17 00:01:05 +01:00
Andreas Källberg
85ab6daaaa
Add cabal dist-newtyle to gitignore
2020-08-05 19:09:25 +02:00
John J. Camilleri
724bf67295
Update Stack files after testing with Stack v2
...
- 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)
2019-08-28 10:57:21 +02:00
John J. Camilleri
d82a53ebc6
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.:
a7e43d872f/doc/gf-refman.html
2018-12-09 20:38:02 +01:00
John J. Camilleri
f78dfe80a2
Update doc/index page
2018-12-08 14:29:02 +01:00
John J. Camilleri
6352799ccb
Merge branch 'master' into new-website
...
# Conflicts:
# index.html
2018-11-28 14:47:20 +01:00
John J. Camilleri
c8eb1010c5
Remove faq. Update people page. Add SS to news.
2018-11-27 23:12:21 +01:00
John J. Camilleri
735f5ff76f
Remove src/ui folder, moved to:
...
https://github.com/GrammaticalFramework/gf-offline-translator
2018-11-15 10:33:31 +01:00
John J. Camilleri
2f1ee094d2
Add download/index.md as demo of working Markdown rendering to HTML
...
Archive 3.9 pages and mark current ones for 18-12
2018-11-08 22:46:30 +01:00
John J. Camilleri
1010b9e49a
Add stack file, using image for GHC 8.2.2
2018-11-03 14:28:31 +01:00
John J. Camilleri
e1dd7bfdf5
[GF Split] Post-split updates
2018-07-25 19:55:11 +02:00
John J. Camilleri
2da722d930
Add cabal sandbox files to .gitignore
2017-11-27 09:50:51 +01:00
Ayberk Tosun
36b5707b5a
Merge remote-tracking branch 'remotes/upstream/master'
2017-08-21 16:28:10 +03:00
Krasimir Angelov
a6cf33f226
added .gitignore
2017-08-21 15:08:20 +02:00
Ayberk Tosun
efa60951f9
Add *.gfo to gitignore
2017-08-21 15:59:28 +03:00
