[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 22fa07e70bfed2371f1bd43c8d03e70b12a3616e
Author: Ralf Treinen <treinen at debian.org>
Date:   Sun Sep 7 15:29:11 2003 +0200

    Imported Debian patch 1.2.1-2

diff --git a/debian/changelog b/debian/changelog
index 668f4b6..76b2134 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,18 @@
+lbt (1.2.1-2) unstable; urgency=low
+
+  * Standards-Version 3.6.1.0
+  * Converted debian/{changelog,copyright,control,lbt.doc-base} to UTF-8
+    characer encoding
+  * Fixed a spelling error in short description (Buechi)
+  * removed empty file debian/docs
+  
+ -- Ralf Treinen <treinen at debian.org>  Sun,  7 Sep 2003 15:29:11 +0200
+
 lbt (1.2.1-1) unstable; urgency=low
 
   * First upload to unstable (closes: Bug#146321).
-  * Added Marko Mäkelä and Heikki Tauriainen to the list of upstream authors.
-  * lbt.doc-base: changed author of doc to Marko Mäkelä.
+  * Added Marko Mäkelä and Heikki Tauriainen to the list of upstream authors.
+  * lbt.doc-base: changed author of doc to Marko Mäkelä.
 
  -- Ralf Treinen <treinen at debian.org>  Fri,  4 Oct 2002 21:17:49 +0200
 
diff --git a/debian/control b/debian/control
index 2ce6652..3ff94a1 100644
--- a/debian/control
+++ b/debian/control
@@ -3,14 +3,14 @@ Section: math
 Priority: optional
 Maintainer: Ralf Treinen <treinen at debian.org>
 Build-Depends: debhelper (>> 3.0.0)
-Standards-Version: 3.5.2
+Standards-Version: 3.6.1.0
 
 Package: lbt
 Architecture: any
 Depends: ${shlibs:Depends}
 Suggests: graphviz
-Description: Converter of LTL formulas to Buechi automata
+Description: Converter of LTL formulas to Büchi automata
  This software converts a linear temporal logic (ltl) formula to a
- generalised Büchi automaton. The resulting automaton may be used, for
+ generalised Büchi automaton. The resulting automaton may be used, for
  instance, in model checking, where it represents a property to be
  verified from a model (e.g. a Petri net).
diff --git a/debian/copyright b/debian/copyright
index b2f3641..5a8a9b6 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -3,8 +3,8 @@ Sun,  4 Aug 2002 13:36:02 +0200.
 
 It was downloaded from http://www.tcs.hut.fi/maria/src/
 
-Upstream Authors:  Marko Mäkelä <msmakela at tcs.hut.fi>
-                   Mauno Rönkkö <mauno.ronkko at uku.fi>
+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:
diff --git a/debian/lbt.doc-base b/debian/lbt.doc-base
index 2f1310d..d0779fe 100644
--- a/debian/lbt.doc-base
+++ b/debian/lbt.doc-base
@@ -1,7 +1,7 @@
 Document: lbt
 Title: LBT Manual
-Authors: 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.
+Authors: 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
 
 Format: HTML
diff --git a/debian/rules b/debian/rules
index 6972ddd..f55628e 100755
--- a/debian/rules
+++ b/debian/rules
@@ -5,7 +5,6 @@
 export DH_COMPAT=3
 
 
-
 ifneq (,$(findstring debug,$(DEB_BUILD_OPTIONS)))
 	CFLAGS += -g
 endif

-- 
lbt packaging