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.
This commit is contained in:
hallgren
2012-08-22 17:25:10 +00:00
parent 1e1298b828
commit 461b5d2f39
8 changed files with 47 additions and 120 deletions

19
debian/copyright vendored
View File

@@ -1,18 +1 @@
This package was Debianized by Bjorn Bringert <bringert@cs.chalmers.se>
on 2006-03-21.
The upstream sources for this version come from the GF darcs repository
at http://www.cs.chalmers.se/Cs/Research/Language-technology/darcs/GF/
Authors and copyright licenses:
Copyright (C):
Bjorn Bringert, Hakan Burden, Hans-Joachim Daniels, Markus Forsberg,
Thomas Hallgren, Harald Hammarstrom, Kristofer Johannisson,
Janna Khegai, Peter Ljunglof, Petri Maenpaa, and Aarne Ranta,
1998-2006.
You are free to distribute this software under the terms of
the GNU General Public License.
On Debian systems, the complete text of the GNU General Public
License can be found in the file /usr/share/common-licenses/GPL.
/usr/share/common-licenses/GPL-2