[cvc4] 01/03: Use dh_missing and remove references to uninstalled man pages

[Fabian Wolff]

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

fw-guest pushed a commit to branch master
in repository cvc4.

commit be1136780a7b35de3d65df273fec07d5f4d286ae
Author: Fabian Wolff <fabi.wolff at arcor.de>
Date:   Fri Jul 28 15:11:13 2017 +0200

    Use dh_missing and remove references to uninstalled man pages
---
 debian/not-installed              | 16 +++++++++++
 debian/patches/03-man-pages.patch | 58 +++++++++++++++++++++++++++++++++++++++
 debian/patches/series             |  1 +
 debian/rules                      |  5 ++++
 4 files changed, 80 insertions(+)

diff --git a/debian/not-installed b/debian/not-installed
new file mode 100644
index 0000000..98aeef7
--- /dev/null
+++ b/debian/not-installed
@@ -0,0 +1,16 @@
+usr/share/man/man3/SmtEngine.3cvc
+usr/share/man/man3/libcvc4parser.3
+usr/share/man/man3/libcvc4.3
+usr/share/man/man3/options.3cvc
+usr/share/man/man3/libcvc4compat.3
+usr/share/man/man5/cvc4.5
+usr/bin/lfsc-checker
+usr/share/cvc4/th_int.plf
+usr/share/cvc4/sat.plf
+usr/share/cvc4/th_arrays.plf
+usr/share/cvc4/smt.plf
+usr/share/cvc4/th_bv_bitblast.plf
+usr/share/cvc4/th_base.plf
+usr/share/cvc4/th_real.plf
+usr/share/cvc4/th_bv.plf
+usr/share/cvc4/th_bv_rewrites.plf
diff --git a/debian/patches/03-man-pages.patch b/debian/patches/03-man-pages.patch
new file mode 100644
index 0000000..7eb1c19
--- /dev/null
+++ b/debian/patches/03-man-pages.patch
@@ -0,0 +1,58 @@
+Description: Remove references to uninstalled man pages
+Author: Fabian Wolff <fabi.wolff at arcor.de>
+Forwarded: no
+Last-Update: 2017-07-28
+---
+This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
+--- a/doc/cvc4.1
++++ b/doc/cvc4.1
+@@ -29,9 +29,8 @@
+ , commands are read from
+ .I file
+ and executed.  CVC4 supports the SMT-LIB (versions 1.2 and 2.0) input
+-format, as well as its own native \(lqpresentation language\(rq (see
+-.BR cvc4 (5)
+-), which is similar in many respects to CVC3's presentation language,
++format, as well as its own native \(lqpresentation language\(rq
++, which is similar in many respects to CVC3's presentation language,
+ but not identical.
+ 
+ If
+@@ -1014,10 +1013,6 @@
+ See the AUTHORS file in the distribution for a full list of
+ contributors.
+ .SH "SEE ALSO"
+-.BR libcvc4 (3),
+-.BR libcvc4parser (3),
+-.BR libcvc4compat (3)
+-
+-Additionally, the CVC4 wiki contains useful information about the
++The CVC4 wiki contains useful information about the
+ design and internals of CVC4.  It is maintained at
+ .BR http://cvc4.cs.nyu.edu/wiki/ .
+--- a/doc/cvc4.1_template.in
++++ b/doc/cvc4.1_template.in
+@@ -29,9 +29,8 @@
+ , commands are read from
+ .I file
+ and executed.  CVC4 supports the SMT-LIB (versions 1.2 and 2.0) input
+-format, as well as its own native \(lqpresentation language\(rq (see
+-.BR cvc4 (5)
+-), which is similar in many respects to CVC3's presentation language,
++format, as well as its own native \(lqpresentation language\(rq
++, which is similar in many respects to CVC3's presentation language,
+ but not identical.
+ 
+ If
+@@ -123,10 +122,6 @@
+ See the AUTHORS file in the distribution for a full list of
+ contributors.
+ .SH "SEE ALSO"
+-.BR libcvc4 (3),
+-.BR libcvc4parser (3),
+-.BR libcvc4compat (3)
+-
+-Additionally, the CVC4 wiki contains useful information about the
++The CVC4 wiki contains useful information about the
+ design and internals of CVC4.  It is maintained at
+ .BR http://cvc4.cs.nyu.edu/wiki/ .
diff --git a/debian/patches/series b/debian/patches/series
index 5802fe6..c476097 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,3 @@
 01-timestamps.patch
 02-include-paths.patch
+03-man-pages.patch
diff --git a/debian/rules b/debian/rules
index 7dc7ab1..d7d3e65 100755
--- a/debian/rules
+++ b/debian/rules
@@ -21,4 +21,9 @@ override_dh_auto_configure:
 
 override_dh_install:
 	chrpath -d debian/tmp/usr/bin/pcvc4
+	rm -f $(shell find debian/tmp/usr/lib/ -name libcvc4.la)
+	rm -f $(shell find debian/tmp/usr/lib/ -name libcvc4parser.la)
 	dh_install
+
+override_dh_missing:
+	dh_missing --list-missing

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