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
bf17fa0bb2
Bump version number to 3.10.3-git
...
This is not an announced realase, but this is version now installed on our
server.
2019-03-05 20:18:30 +01:00
eb46577f58
debian/rules bug fix: the RGL was not included in .deb packages
...
The problem was that the RGL was both built and copied to the destdir
during the build step, which caused it to be deleted before the install
step. It is now copied to destdir during the install step.
2019-03-05 16:19:46 +01:00
18251e57a3
debian/changelog: updated release date
2018-12-03 01:33:52 +01:00
d0bc368358
Update make deb for the GF 3.10 release
...
This includes adding commands in debian/rules to build and include
the RGL and the example grammars in the debian package.
2018-11-30 00:17:45 +01:00
2d85550e54
Final changes before the release of GF 3.9
2017-08-11 21:11:24 +02:00
ee9fcef787
Final changes for the GF 3.8 release
...
News item on the home page
Put the download page and release notes in place.
Add an entry in debian/changelog.
Update the version number in gf.cabal.
2016-06-22 11:13:06 +00:00
1b2dfbb6d8
Bump version number to 3.7.1 and finalize documentation
...
Updated version number in gf.cabal and update debian/changelog
News item on home page (index.html)
Some last minute edits on the download page
Move the new release notes and download page in place.
2015-10-02 10:15:02 +00:00
2643f3cee6
Documentation updates for the release of GF 3.7
2015-06-25 12:10:47 +00:00
03274b76d3
debian/changelog: updated for the release of GF 3.6
2014-06-21 17:10:24 +00:00
824fbee593
Update to version 3.5 in gf.cabal and debian/changelog
2013-08-06 15:42:57 +00:00
9c63cb9e2c
debian/changelog: updated for GF 3.4
2013-01-30 17:20:46 +00:00
46b634f256
update debian/changelog
2012-12-07 14:22:14 +00:00
098ddc129e
Add 'make deb' to Makefile, for creating Debian packages
...
Also updated the debian/* files.
It should now be easy to create Debian packages under Ubuntu 11.10 & 12.04.
See also the notes in the Makefile.
2012-08-22 17:25:10 +00:00
789ce01032
Added release number in debian/changelog.
2006-03-21 13:49:42 +00:00
cf2c5641a2
Added beginnings of debian packaging stuff.
2006-03-21 10:25:40 +00:00
Thomas Hallgren