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,453 Commits 21 Branches 11 Tags
f6560d309e6a766befd91e4adbc5c68e3a23918e
Commit Graph

71 Commits

Author SHA1 Message Date
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
hallgren
1454953391 Changes to include the Java binding in binary distribution packages 
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.
 2016-04-12 15:01:11 +00:00
hallgren
3c90f664f7 bin/build-binary-dist.sh: fix hardcoded /usr install path for .pkg packages. 2015-10-01 12:49:55 +00:00
hallgren
d98bd34a33 bin/build-binary-dist.sh: remove hardwired install path and version number 
Also improved tolerance to paths containing white space.
 2014-12-15 15:18:27 +00:00
hallgren
bcf0aa42cd bin/build-binary-dist.sh: just a small fix 2014-08-29 11:48:10 +00:00
hallgren
658b9adabe You can now use 'make pkg' to build OS X Installer packages for GF 
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-08-28 13:30:22 +00:00
hallgren
5a39637bcd build-binary-dist.sh: include a ghc package configuration file 
as an experiment
 2014-06-21 16:32:10 +00:00
hallgren
65b064fe82 build-binary-dist.sh: updated to include the Python binding to the C run-time 
There are also some changes in src/runtime/python/setyp.py to support this.
 2014-06-18 16:09:46 +00:00
hallgren
1668eb17e5 build-binary-dist.sh: updated to include the C runtime system in binary tarballs 
Also moved it to the bin directory.
Run it with 'bash bin/build-binary-dish.sh'.
 2014-06-17 13:56:59 +00:00