[cvc4] 02/04: Move man pages from cvc4.install to cvc4.manpages

[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 6d02e4753f42287706304557dbd0be3e4fdd4981
Author: Fabian Wolff <fabi.wolff at arcor.de>
Date:   Tue Apr 4 17:25:40 2017 +0200

    Move man pages from cvc4.install to cvc4.manpages
---
 debian/cvc4.install                    | 2 --
 debian/{cvc4.install => cvc4.manpages} | 2 --
 2 files changed, 4 deletions(-)

diff --git a/debian/cvc4.install b/debian/cvc4.install
index 4c8cef1..b7066ce 100644
--- a/debian/cvc4.install
+++ b/debian/cvc4.install
@@ -1,4 +1,2 @@
 usr/bin/cvc4
 usr/bin/pcvc4
-usr/share/man/man1/cvc4.1
-usr/share/man/man1/pcvc4.1
diff --git a/debian/cvc4.install b/debian/cvc4.manpages
similarity index 66%
copy from debian/cvc4.install
copy to debian/cvc4.manpages
index 4c8cef1..6c0e26c 100644
--- a/debian/cvc4.install
+++ b/debian/cvc4.manpages
@@ -1,4 +1,2 @@
-usr/bin/cvc4
-usr/bin/pcvc4
 usr/share/man/man1/cvc4.1
 usr/share/man/man1/pcvc4.1

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