[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 44003aff47aac2c45507e08656947c9af3fe13fe
Merge: 22fa07e70bfed2371f1bd43c8d03e70b12a3616e aec18d835da9ed1c053112cbcbbf4a9389f74162
Author: Ralf Treinen <treinen at debian.org>
Date:   Fri Jan 7 20:13:25 2005 +0100

    Imported Debian patch 1.2.2-1

diff --combined debian/changelog
index 76b2134,0000000..e87f648
mode 100644,000000..100644
--- a/debian/changelog
+++ b/debian/changelog
@@@ -1,24 -1,0 +1,33 @@@
++lbt (1.2.2-1) unstable; urgency=low
++
++  * New upstream release
++  * Add debian/watch file
++  * Short description starts on lowercase letter
++  * Use dh_installchangelogs to install upstream changelog
++
++ -- Ralf Treinen <treinen at debian.org>  Fri,  7 Jan 2005 20:13:25 +0100
++
 +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ä.
 +
 + -- Ralf Treinen <treinen at debian.org>  Fri,  4 Oct 2002 21:17:49 +0200
 +
 +lbt (1.2.1-0.alpha) experimental; urgency=low
 +
 +  * Initial Release.
 +
 + -- Ralf Treinen <treinen at debian.org>  Tue,  6 Aug 2002 23:13:17 +0200
 +
diff --combined debian/control
index 3ff94a1,0000000..d9e0545
mode 100644,000000..100644
--- a/debian/control
+++ b/debian/control
@@@ -1,16 -1,0 +1,16 @@@
 +Source: lbt
 +Section: math
 +Priority: optional
 +Maintainer: Ralf Treinen <treinen at debian.org>
 +Build-Depends: debhelper (>> 3.0.0)
 +Standards-Version: 3.6.1.0
 +
 +Package: lbt
 +Architecture: any
 +Depends: ${shlibs:Depends}
 +Suggests: graphviz
- Description: Converter of LTL formulas to Büchi automata
++Description: converts from 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
 + instance, in model checking, where it represents a property to be
 + verified from a model (e.g. a Petri net).
diff --combined debian/rules
index f55628e,0000000..4774a91
mode 100755,000000..100755
--- a/debian/rules
+++ b/debian/rules
@@@ -1,59 -1,0 +1,58 @@@
 +#!/usr/bin/make -f
 +# debian/rules for lbt
 +
 +#export DH_VERBOSE=1
 +export DH_COMPAT=3
 +
 +
 +ifneq (,$(findstring debug,$(DEB_BUILD_OPTIONS)))
 +	CFLAGS += -g
 +endif
 +ifeq (,$(findstring nostrip,$(DEB_BUILD_OPTIONS)))
 +	INSTALL_PROGRAM += -s
 +endif
 +
 +build: build-stamp
 +
 +build-stamp:
 +	dh_testdir
 +	$(MAKE)
 +	touch build-stamp
 +
 +clean:
 +	dh_testdir
 +	dh_testroot
 +	rm -f build-stamp
 +	-$(MAKE) reallyclean
 +	dh_clean
 +
 +install: build
 +	dh_testdir
 +	dh_testroot
 +	dh_clean -k
 +	dh_installdirs
 +	$(MAKE) install DESTDIR=$(CURDIR)/debian/lbt
 +	$(MAKE) installman DESTDIR=$(CURDIR)/debian/lbt
 +	cd $(CURDIR)/debian/lbt/usr/share/doc/lbt && mv *.html *.png html
- 	cd $(CURDIR)/debian/lbt/usr/share/doc/lbt && mv ChangeLog changelog
 +
 +binary-indep: build install
 +
 +binary-arch: build install
 +	dh_testdir
 +	dh_testroot
 +	dh_installdocs
 +	dh_installexamples
 +	dh_installman
- 	dh_installchangelogs 
++	dh_installchangelogs ChangeLog
 +	dh_link
 +	dh_strip
 +	dh_compress
 +	dh_fixperms
 +	dh_installdeb
 +	dh_shlibdeps
 +	dh_gencontrol
 +	dh_md5sums
 +	dh_builddeb
 +
 +binary: binary-indep binary-arch
 +.PHONY: build clean binary-indep binary-arch binary install configure

-- 
lbt packaging