[SCM] lbt packaging branch, master, updated. upstream/1.2.1-7-ga8d9895

[Ralf Treinen]

The following commit has been merged in the master branch:
commit a8d9895ef081bc8a39240902686d93772e9d119d
Author: Ralf Treinen <treinen at debian.org>
Date:   Sun Aug 30 20:19:51 2009 +0200

    Imported Debian patch 1.2.2-4

diff --git a/debian/changelog b/debian/changelog
index b1e1a61..6491839 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,19 @@
+lbt (1.2.2-4) unstable; urgency=low
+
+  * debian/lbt.doc-base: Change field descriptor "Authors" to "Author"
+    (closes: Bug#466458).
+  * debian/rules: do not ignore errors of "make clean".
+  * Standards-Version 3.8.3 
+  * debian/control: added Homepage field.
+  * debhelper compatibility level 7.
+    - debian/rules: dh_clean -k => dh_prep
+  * debian/copyright:
+    - add a proper copyright notice.
+    - point to GPL-2 file instead file of just GPL file.
+  * Changed doc-base section to Science/Mathematics
+
+ -- Ralf Treinen <treinen at debian.org>  Sun, 30 Aug 2009 20:19:51 +0200
+
 lbt (1.2.2-3) unstable; urgency=low
 
   * Compile with -O3 instad of -O2 on m68 to work around a gcc-4.0 bug on
diff --git a/debian/compat b/debian/compat
index b8626c4..4d446d8 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1,2 @@
-4
+7
+
diff --git a/debian/control b/debian/control
index 1b595da..acba914 100644
--- a/debian/control
+++ b/debian/control
@@ -2,8 +2,9 @@ Source: lbt
 Section: math
 Priority: optional
 Maintainer: Ralf Treinen <treinen at debian.org>
-Build-Depends: debhelper (>= 4.0)
-Standards-Version: 3.6.2
+Build-Depends: debhelper (>= 7.0)
+Standards-Version: 3.8.3
+Homepage: http://www.tcs.hut.fi/Software/maria/tools/lbt/
 
 Package: lbt
 Architecture: any
diff --git a/debian/copyright b/debian/copyright
index 5a8a9b6..4d7c006 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -7,9 +7,11 @@ Upstream Authors:  Marko Mäkelä <msmakela at tcs.hut.fi>
                    Mauno Rönkkö <mauno.ronkko at uku.fi>
 		   Heikki Tauriainen <heikki.tauriainen at hut.fi>
 	
-Copyright:
+Copyright (c) 1998 Mauno Rönkkö <mronkko at abo.fi>
+
+Licence:
 
 You are free to distribute this software under the terms of
 the GNU General Public License, version 2.
 On Debian systems, the complete text of the GNU General Public
-License can be found in the /usr/share/common-licenses/GPL file.
+License can be found in the /usr/share/common-licenses/GPL-2 file.
diff --git a/debian/lbt.doc-base b/debian/lbt.doc-base
index d0779fe..caa19a2 100644
--- a/debian/lbt.doc-base
+++ b/debian/lbt.doc-base
@@ -1,8 +1,8 @@
 Document: lbt
 Title: LBT Manual
-Authors: Marko Mäkelä <msmakela at tcs.hut.fi>
+Author: Marko Mäkelä <msmakela at tcs.hut.fi>
 Abstract: This manual describes how to use lbt, a tool to translate linear temporal logic formulas into generalized Büchi automata.
-Section: math
+Section: Science/Mathematics
 
 Format: HTML
 Index: /usr/share/doc/lbt/html/index.html
diff --git a/debian/rules b/debian/rules
index d2c2e84..d3dacd6 100755
--- a/debian/rules
+++ b/debian/rules
@@ -32,13 +32,13 @@ clean:
 	dh_testdir
 	dh_testroot
 	rm -f build-stamp
-	-$(MAKE) reallyclean
+	[ ! -f Makefile ] || $(MAKE) reallyclean
 	dh_clean
 
 install: build
 	dh_testdir
 	dh_testroot
-	dh_clean -k
+	dh_prep
 	dh_installdirs
 	$(MAKE) install DESTDIR=$(CURDIR)/debian/lbt
 	$(MAKE) installman DESTDIR=$(CURDIR)/debian/lbt

-- 
lbt packaging