summaryrefslogtreecommitdiff
path: root/bin
AgeCommit message (Collapse)Author
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
2018-10-31pre and post HTML templates for all txt2tags conversionsJohn J. Camilleri
Remaining: cleaning of t2t files (remove unnecessary options)
2017-08-11Final changes before the release of GF 3.9Thomas Hallgren
2016-06-20bin/build-binary-dist.sh: fixes for the Java and Python bindings.hallgren
* Just skip the Java binding if there were errors compiling it. * Install the Python binding in the expected place on Mac OS X when creating an OS X installer package. (i.e. under /Library/Python/2.7/site-packages) Also updated the 3.8 download page and release notes to reflect the above.
2016-04-25Fix a problem building the Java binding when creating binary packageshallgren
Pass -I and -L flags to gcc so that the C run-time system can be found. Also added a line in src/runtime/java/Makefile to install jpgf.jar.
2016-04-12Changes to include the Java binding in binary distribution packageshallgren
This means that you now need to have a Java SDK installed to build a Debian package. The bin/build-binary-dist.sh (which builds bintar packages and OS X installer packages) now skips the Python binding if python is not installed. Likewise it skips the Java binding if a Java SDK is not installed.
2015-10-01bin/build-binary-dist.sh: fix hardcoded /usr install path for .pkg packages.hallgren
2014-12-15bin/build-binary-dist.sh: remove hardwired install path and version numberhallgren
Also improved tolerance to paths containing white space.
2014-08-29bin/build-binary-dist.sh: just a small fixhallgren
2014-08-28You can now use 'make pkg' to build OS X Installer packages for GFhallgren
The script bin/build-binary-dist.sh has been updated to build either a plain .tar.gz package or OS X Installer package (.pkg). Note that bin/build-binary-dist.sh is designed to build and include the C run-time system in the binary package. If the C run-time system fails to build, no binary package will be created.
2014-06-21build-binary-dist.sh: include a ghc package configuration filehallgren
as an experiment
2014-06-18build-binary-dist.sh: updated to include the Python binding to the C run-timehallgren
There are also some changes in src/runtime/python/setyp.py to support this.
generated by cgit v1.2.3 (git 2.39.1) at 2026-06-07 14:22:05 +0000