[ppl] 08/68: Imported Debian patch 0.10~pre27-2

[Andreas Tille]

This is an automated email from the git hooks/post-receive script.

tille pushed a commit to branch master
in repository ppl.

commit 8bb82fd6113251f4f7d779cef0c7a2907405e99e
Author: Michael Tautschnig <mt at debian.org>
Date:   Thu Sep 11 18:22:09 2008 +0200

    Imported Debian patch 0.10~pre27-2
---
 debian/changelog          | 9 +++++++++
 debian/control            | 5 +++--
 debian/libppl-pwl.dirs    | 2 --
 debian/libppl-pwl.install | 4 ----
 debian/libppl.dirs        | 3 ---
 debian/libppl.install     | 8 --------
 debian/rules              | 2 +-
 7 files changed, 13 insertions(+), 20 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 33c6286..4b21da6 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,12 @@
+ppl (0.10~pre27-2) unstable; urgency=low
+
+  * debian/rules: set texmf save_size to 10000 when building the docs
+  * debian/control: libppl-dev Provides: libppl-c-dev
+  * debian/control: Don't Recommends: graphviz, Suggests: libgmp3-doc, this is
+    pointless
+ 
+ -- Michael Tautschnig <mt at debian.org>  Thu, 11 Sep 2008 18:22:09 +0200
+
 ppl (0.10~pre27-1) unstable; urgency=low
 
   * New upstream snapshot
diff --git a/debian/control b/debian/control
index f6ebced..264b4d6 100644
--- a/debian/control
+++ b/debian/control
@@ -24,9 +24,10 @@ Description: Parma Polyhedra Library (runtime library)
 Package: libppl-dev
 Architecture: any
 Section: libdevel
+Provides: libppl-c-dev
 Depends: libppl7 (= ${binary:Version}), libppl-c0 (= ${binary:Version}), ${shlibs:Depends}
-Recommends: libgmp3-dev (>= 4.1.3), graphviz
-Suggests: libppl-doc, libgmp3-doc
+Recommends: libgmp3-dev (>= 4.1.3)
+Suggests: libppl-doc
 Description: Parma Polyhedra Library (development)
  The Parma Polyhedra Library (PPL) is a C++ library for the
  manipulation of (not necessarily closed) convex polyhedra and other
diff --git a/debian/libppl-pwl.dirs b/debian/libppl-pwl.dirs
deleted file mode 100644
index 4418816..0000000
--- a/debian/libppl-pwl.dirs
+++ /dev/null
@@ -1,2 +0,0 @@
-usr/lib
-usr/include
diff --git a/debian/libppl-pwl.install b/debian/libppl-pwl.install
deleted file mode 100644
index 353e95a..0000000
--- a/debian/libppl-pwl.install
+++ /dev/null
@@ -1,4 +0,0 @@
-usr/lib/libpwl.so
-usr/lib/libpwl.so.*
-usr/lib/libpwl.a
-usr/lib/libpwl.la
diff --git a/debian/libppl.dirs b/debian/libppl.dirs
deleted file mode 100644
index d96c6d6..0000000
--- a/debian/libppl.dirs
+++ /dev/null
@@ -1,3 +0,0 @@
-usr/lib
-usr/bin
-usr/share/man/man1
diff --git a/debian/libppl.install b/debian/libppl.install
deleted file mode 100644
index a7ba61c..0000000
--- a/debian/libppl.install
+++ /dev/null
@@ -1,8 +0,0 @@
-usr/lib/libppl.so
-usr/lib/libppl.so.*
-usr/bin/ppl-config
-usr/bin/ppl_lcdd
-usr/bin/ppl_lpsol
-usr/share/man/man1/ppl-config.1
-usr/share/man/man1/ppl_lcdd.1
-usr/share/man/man1/ppl_lpsol.1
diff --git a/debian/rules b/debian/rules
index 754e003..c324bce 100755
--- a/debian/rules
+++ b/debian/rules
@@ -153,7 +153,7 @@ install-arch:
 #   directories which have fixed names.
 	mkdir -p $(DOC_DIR)/html || exit 1
 	mkdir -p $(DEV_DOC_DIR)/html || exit 1
-	$(MAKE) -C doc world
+	export save_size=10000 ; $(MAKE) -C doc world
 	cp -a $(SRC_DOC_DIR)/ppl-user-$(PPL_VERSION)-html $(DOC_DIR)/html/user-manual
 	cp -a $(SRC_DOC_DIR)/ppl-user-$(PPL_VERSION).pdf $(DOC_DIR)/ppl-user-browse.pdf
 	cp -a $(SRC_DOC_DIR)/ppl-user-$(PPL_VERSION).ps.gz $(DOC_DIR)/ppl-user-print.ps.gz

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/ppl.git