summaryrefslogtreecommitdiff
path: root/bin
AgeCommit message (Collapse)Author
2025-08-08Update release scripts for 3.12Inari Listenmaa
2020-11-25Merge remote-tracking branch 'origin/master' into build-binary-packagesJohn J. Camilleri
2020-11-17Add preliminary RELEASE.mdJohn J. Camilleri
2020-11-17Minors in commentsJohn J. Camilleri
2020-11-16Re-enable hack for finding C runtime on macOSJohn J. Camilleri
2020-11-16Remove RGL from build, use 'cabal v1-' commandsJohn J. Camilleri
2020-11-09Blurt out cabal version in both action and build scriptJohn J. Camilleri
2020-11-09Install C runtime in two places. Use cabal v1-copy.John J. Camilleri
2020-11-09Add libtool finish command from warningJohn J. Camilleri
2020-11-09Try it another way roundJohn J. Camilleri
2020-11-09Try removing something that looks like a typoJohn J. Camilleri
2020-11-09Fix whitespace in binary build scriptJohn J. Camilleri
2020-08-30(Homepage) Change link of video tutorials to a page + small fixesInari Listenmaa
Also added video tutorial link to the footer.
2019-11-27Fix another build problem in bin/build-binary-dist.shThomas Hallgren
Make sure the dynamic C runtime libraries are found when running GF to compile the RGL
2019-11-18Fix build problems, bump versiom to gf-3.10.4-gitThomas Hallgren
debian/rules and bin/build-binary-dist.sh needed to be adepted to changes in how INSTALLPATH is used in src/runtime/java/Makefile.
2019-05-20Update link to RGL tutorial (now HTML version)John J. Camilleri
2019-05-06update_html rewrites anchors which Pandoc 1.16 doesn't processJohn J. Camilleri
See #43
2019-04-05Fix outdated comment about which version of the Haskell Platform to useThomas Hallgren
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
2018-12-08Area under footer is all gray even on short pagesJohn J. Camilleri
2018-12-08Regnerate HTML if template changesJohn J. Camilleri
2018-12-08Fix some invalid HTML.John J. Camilleri
2018-12-06Add some documentation to update_htmlJohn J. Camilleri
2018-12-06Case-insensitve sed replacements handled the dumb wayJohn J. Camilleri
Because BSD sed != GNU sed
2018-12-06Fix linking to chapters in gf-tutorial; Remove reference to Htmls.John J. Camilleri
2018-12-05Rewrite <a name=...> to <div id=...> to preserve page anchors in PandocJohn J. Camilleri
2018-12-03Put GF logo on the right againJohn J. Camilleri
2018-12-03Update clean_html to handle markdown sources tooJohn J. Camilleri
2018-12-03Put floating logo on leftJohn J. Camilleri
2018-12-01build-binary-dist.sh: make it easy to choose which version of ghc to useThomas Hallgren
2018-11-29Custom CSS comes after libraries; add include-before/after (not actively used)John J. Camilleri
2018-11-29Rename _template.html to template.htmlJohn J. Camilleri
2018-11-28Minors in footerJohn J. Camilleri
2018-11-28Merge branch 'new-website'John J. Camilleri
2018-11-28Better responsiveness, homepage and footerJohn J. Camilleri
2018-11-28Page uses available width better, no jumping marginsJohn J. Camilleri
2018-11-28bin/build-binary-dist.sh: include the RGL in binary distributionsThomas Hallgren
TODO: the corresponding changes in debian/rules
2018-11-28Update top links and footer during hackathonJohn J. Camilleri
2018-11-27Work on new download page. Change 18-12 to 4.0.0John J. Camilleri
2018-11-13Link to new synopsis pageJohn J. Camilleri
2018-11-09Remove unnecessary CSS from templateJohn J. Camilleri
2018-11-08GF logo links to home; remove "other demos"John J. Camilleri
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-04New update_html runx txt2tags followed by pandocJohn J. Camilleri
TODO: handle txt2tags macros in date, e.g. `%%mtime(%F)` in download/encoding-change.t2t
2018-11-04Cleanup links in homepage and footerJohn J. Camilleri
2018-11-04Links in footerJohn J. Camilleri
2018-11-04Comments in update_html scriptJohn J. Camilleri
2018-11-04update_html also takes individual argumentsJohn J. Camilleri
2018-11-04Use Pandoc instead of txt2tags binary, much more configurableJohn J. Camilleri
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 05:11:10 +0000