[cvc4] 04/04: Adjust debian/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 d668c63a1f6819853f50fe1ea1b391f8ed52d51f
Author: Fabian Wolff <fabi.wolff at arcor.de>
Date:   Tue Apr 4 19:03:54 2017 +0200

    Adjust debian/cvc4.manpages
---
 debian/cvc4.manpages | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/cvc4.manpages b/debian/cvc4.manpages
index 6c0e26c..77a8746 100644
--- a/debian/cvc4.manpages
+++ b/debian/cvc4.manpages
@@ -1,2 +1,2 @@
-usr/share/man/man1/cvc4.1
-usr/share/man/man1/pcvc4.1
+debian/tmp/usr/share/man/man1/cvc4.1
+debian/tmp/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