GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity
7,518 Commits 21 Branches 11 Tags
8cc901f334e99f2e2cfa6b78ebe3fdfebe32fbc7
Commit Graph

79 Commits

Author SHA1 Message Date
John J. Camilleri
30bcafb76f Re-enable hack for finding C runtime on macOS 2020-11-16 23:18:40 +01:00
John J. Camilleri
2dc11524fc Remove RGL from build, use 'cabal v1-' commands 2020-11-16 22:42:13 +01:00
John J. Camilleri
359f1509fa Blurt out cabal version in both action and build script 2020-11-09 21:59:05 +01:00
John J. Camilleri
b1b3bc3360 Install C runtime in two places. Use cabal v1-copy. 2020-11-09 21:40:55 +01:00
John J. Camilleri
9018eabb10 Add libtool finish command from warning 2020-11-09 21:35:17 +01:00
John J. Camilleri
ed97a42fde Try it another way round 2020-11-09 21:23:52 +01:00
John J. Camilleri
f6eb94c33b Try removing something that looks like a typo 2020-11-09 21:12:23 +01:00
John J. Camilleri
399974ebfb Fix whitespace in binary build script 2020-11-09 13:55:53 +01:00
Inari Listenmaa
f6560d309e (Homepage) Change link of video tutorials to a page + small fixes 
Also added video tutorial link to the footer.
 2020-08-30 20:53:59 +02:00
Thomas Hallgren
12e55c93c0 Fix another build problem in bin/build-binary-dist.sh 
Make sure the dynamic C runtime libraries are found when running GF to
compile the RGL
 2019-11-27 14:31:45 +01:00
Thomas Hallgren
14e5528544 Fix build problems, bump versiom to gf-3.10.4-git 
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-11-18 15:54:44 +01:00
John J. Camilleri
7a3efdfeb9 Update link to RGL tutorial (now HTML version) 2019-05-20 10:36:35 +02:00
John J. Camilleri
af62a99bf5 update_html rewrites anchors which Pandoc 1.16 doesn't process 
See #43
 2019-05-06 08:45:07 +02:00
Thomas Hallgren
61e7df4d1c Fix outdated comment about which version of the Haskell Platform to use 2019-04-05 16:38:12 +02:00
John J. Camilleri
083aa96e57 TOC for Markdown should now work for both Pandoc < 2.0 and >= 2.0 
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-10 14:25:44 +01: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
5006b520d1 Area under footer is all gray even on short pages 2018-12-08 14:29:43 +01:00
John J. Camilleri
44ac326da0 Regnerate HTML if template changes 2018-12-08 13:57:04 +01:00
John J. Camilleri
a8b23d52a8 Fix some invalid HTML. 2018-12-08 13:47:27 +01:00
John J. Camilleri
d880a61857 Add some documentation to update_html 2018-12-06 13:47:50 +01:00
John J. Camilleri
7bd086ba19 Case-insensitve sed replacements handled the dumb way 
Because BSD sed != GNU sed
 2018-12-06 10:18:31 +01:00
John J. Camilleri
e9e2bd6b89 Fix linking to chapters in gf-tutorial; Remove reference to Htmls. 2018-12-06 09:00:44 +01:00
John J. Camilleri
b73f033b08 Rewrite <a name=...> to <div id=...> to preserve page anchors in Pandoc 2018-12-05 16:11:33 +01:00
John J. Camilleri
34e89ac710 Put GF logo on the right again 2018-12-03 15:27:55 +01:00
John J. Camilleri
5546c6d6da Update clean_html to handle markdown sources too 2018-12-03 10:49:37 +01:00
John J. Camilleri
c380288db8 Put floating logo on left 2018-12-03 10:49:15 +01:00
Thomas Hallgren
883a7a95a1 build-binary-dist.sh: make it easy to choose which version of ghc to use 2018-12-01 15:53:27 +01:00
John J. Camilleri
01f61c526f Custom CSS comes after libraries; add include-before/after (not actively used) 2018-11-29 13:06:52 +01:00
John J. Camilleri
b30456aa0c Rename _template.html to template.html 2018-11-29 10:35:43 +01:00
John J. Camilleri
fe7d01f7e3 Minors in footer 2018-11-28 22:34:04 +01:00
John J. Camilleri
a7e43d872f Merge branch 'new-website' 2018-11-28 22:22:41 +01:00
John J. Camilleri
9e02319b6d Better responsiveness, homepage and footer 2018-11-28 22:14:58 +01:00
John J. Camilleri
6278deb7a2 Page uses available width better, no jumping margins 2018-11-28 21:51:16 +01:00
Thomas Hallgren
32ce03dc94 bin/build-binary-dist.sh: include the RGL in binary distributions 
TODO: the corresponding changes in debian/rules
 2018-11-28 17:27:29 +01:00
John J. Camilleri
c7a14537c1 Update top links and footer during hackathon 2018-11-28 15:42:11 +01:00
John J. Camilleri
9bf5c98509 Work on new download page. Change 18-12 to 4.0.0 2018-11-27 22:36:57 +01:00
John J. Camilleri
cb0e919bf5 Link to new synopsis page 2018-11-13 21:22:54 +01:00
John J. Camilleri
d1a435ad9d Remove unnecessary CSS from template 2018-11-09 09:08:59 +01:00
John J. Camilleri
406eec6690 GF logo links to home; remove "other demos" 2018-11-08 22:52:08 +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
390a6a04a1 New update_html runx txt2tags followed by pandoc 
TODO: handle txt2tags macros in date, e.g.
`%%mtime(%F)` in download/encoding-change.t2t
 2018-11-04 21:17:20 +01:00
John J. Camilleri
a7b2f77227 Cleanup links in homepage and footer 2018-11-04 21:12:10 +01:00
John J. Camilleri
9a7862ea9e Links in footer 2018-11-04 19:58:18 +01:00
John J. Camilleri
914d54255f Comments in update_html script 2018-11-04 19:29:56 +01:00
John J. Camilleri
aea8548930 update_html also takes individual arguments 2018-11-04 19:27:14 +01:00
John J. Camilleri
99dad48961 Use Pandoc instead of txt2tags binary, much more configurable 2018-11-04 15:11:35 +01:00
John J. Camilleri
7867c8c828 pre and post HTML templates for all txt2tags conversions 
Remaining: cleaning of t2t files (remove unnecessary options)
 2018-10-31 15:47:12 +01:00
Thomas Hallgren
2d85550e54 Final changes before the release of GF 3.9 2017-08-11 21:11:24 +02:00
hallgren
ab138e5a8c bin/build-binary-dist.sh: fixes for the Java and Python bindings. 
* 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-06-20 14:11:45 +00:00
hallgren
41171be5a6 Fix a problem building the Java binding when creating binary packages 
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-25 14:21:04 +00:00