[SCM] mona packaging branch, master, updated. upstream/1.4-2-17-g7d5620d

[Ralf Treinen]

The following commit has been merged in the master branch:
commit fc4298b7c13af4159a00420aa83ef02d46377cc0
Author: Ralf Treinen <treinen at debian.org>
Date:   Tue Jul 12 08:59:49 2005 +0200

    Imported Debian patch 1.4-7-3

diff --git a/Examples/makefile b/Examples/makefile
index 553ed15..321717b 100644
--- a/Examples/makefile
+++ b/Examples/makefile
@@ -35,13 +35,13 @@ POST_INSTALL = :
 NORMAL_UNINSTALL = :
 PRE_UNINSTALL = :
 POST_UNINSTALL = :
-ACLOCAL = ${SHELL} /home/rt/debian/own/mona/mona-1.4-7/config/missing --run aclocal-1.7
+ACLOCAL = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run aclocal-1.7
 AMDEP_FALSE = #
 AMDEP_TRUE = 
-AMTAR = ${SHELL} /home/rt/debian/own/mona/mona-1.4-7/config/missing --run tar
-AUTOCONF = ${SHELL} /home/rt/debian/own/mona/mona-1.4-7/config/missing --run autoconf
-AUTOHEADER = ${SHELL} /home/rt/debian/own/mona/mona-1.4-7/config/missing --run autoheader
-AUTOMAKE = ${SHELL} /home/rt/debian/own/mona/mona-1.4-7/config/missing --run automake-1.7
+AMTAR = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run tar
+AUTOCONF = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run autoconf
+AUTOHEADER = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run autoheader
+AUTOMAKE = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run automake-1.7
 AWK = gawk
 CC = gcc
 CCDEPMODE = depmode=gcc3
@@ -71,7 +71,7 @@ LEX_OUTPUT_ROOT = lex.yy
 LIBOBJS = 
 LIBS = 
 LTLIBOBJS = 
-MAKEINFO = ${SHELL} /home/rt/debian/own/mona/mona-1.4-7/config/missing --run makeinfo
+MAKEINFO = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run makeinfo
 OBJEXT = o
 PACKAGE = mona
 PACKAGE_BUGREPORT = 
@@ -105,7 +105,7 @@ exec_prefix = ${prefix}
 host_alias = 
 includedir = ${prefix}/include
 infodir = ${prefix}/info
-install_sh = /home/rt/debian/own/mona/mona-1.4-7/config/install-sh
+install_sh = /home/rt/debian/packages/own/mona/mona-1.4-7/config/install-sh
 libdir = ${exec_prefix}/lib
 libexecdir = ${exec_prefix}/libexec
 localstatedir = ${prefix}/var
diff --git a/config/makefile b/config/makefile
index ab79534..9dde01d 100644
--- a/config/makefile
+++ b/config/makefile
@@ -35,13 +35,13 @@ POST_INSTALL = :
 NORMAL_UNINSTALL = :
 PRE_UNINSTALL = :
 POST_UNINSTALL = :
-ACLOCAL = ${SHELL} /home/rt/debian/own/mona/mona-1.4-7/config/missing --run aclocal-1.7
+ACLOCAL = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run aclocal-1.7
 AMDEP_FALSE = #
 AMDEP_TRUE = 
-AMTAR = ${SHELL} /home/rt/debian/own/mona/mona-1.4-7/config/missing --run tar
-AUTOCONF = ${SHELL} /home/rt/debian/own/mona/mona-1.4-7/config/missing --run autoconf
-AUTOHEADER = ${SHELL} /home/rt/debian/own/mona/mona-1.4-7/config/missing --run autoheader
-AUTOMAKE = ${SHELL} /home/rt/debian/own/mona/mona-1.4-7/config/missing --run automake-1.7
+AMTAR = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run tar
+AUTOCONF = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run autoconf
+AUTOHEADER = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run autoheader
+AUTOMAKE = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run automake-1.7
 AWK = gawk
 CC = gcc
 CCDEPMODE = depmode=gcc3
@@ -71,7 +71,7 @@ LEX_OUTPUT_ROOT = lex.yy
 LIBOBJS = 
 LIBS = 
 LTLIBOBJS = 
-MAKEINFO = ${SHELL} /home/rt/debian/own/mona/mona-1.4-7/config/missing --run makeinfo
+MAKEINFO = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run makeinfo
 OBJEXT = o
 PACKAGE = mona
 PACKAGE_BUGREPORT = 
@@ -105,7 +105,7 @@ exec_prefix = ${prefix}
 host_alias = 
 includedir = ${prefix}/include
 infodir = ${prefix}/info
-install_sh = /home/rt/debian/own/mona/mona-1.4-7/config/install-sh
+install_sh = /home/rt/debian/packages/own/mona/mona-1.4-7/config/install-sh
 libdir = ${exec_prefix}/lib
 libexecdir = ${exec_prefix}/libexec
 localstatedir = ${prefix}/var
diff --git a/debian/changelog b/debian/changelog
index 5f11f94..850867f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+mona (1.4-7-3) unstable; urgency=low
+
+  * Recommends graphiz (instead of Suggests).
+  * Standards-version 3.6.2 (no change).
+  * Rebuild with gcc 4.
+
+ -- Ralf Treinen <treinen at debian.org>  Tue, 12 Jul 2005 08:59:49 +0200
+
 mona (1.4-7-2) unstable; urgency=low
 
   * Patch 02_gcc4.0 fixes compilation error with gcc4.0 on amd64. Patch
diff --git a/debian/control b/debian/control
index 15d2742..6a27a21 100644
--- a/debian/control
+++ b/debian/control
@@ -3,12 +3,12 @@ Section: misc
 Priority: optional
 Maintainer: Ralf Treinen <treinen at debian.org>
 Build-Depends: debhelper (>= 4.0), bison, flex, dpatch
-Standards-Version: 3.6.1
+Standards-Version: 3.6.2
 
 Package: mona
-Suggests: graphviz
 Architecture: any
 Depends: ${shlibs:Depends}
+Recommends: graphviz
 Description: a theorem prover based on automata
  MONA is a tool that translates formulas in the logics WS1S or WS2S
  into finite-state automata represented by BDDs.  The formulas may

-- 
mona packaging