[gringo] 02/06: gringo-manpages.patch: regenerated from gbp pq

[Thomas Krennwallner]

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

tkren-guest pushed a commit to branch devel
in repository gringo.

commit ed7a666a6577b531bc3044fa42ac4723c7b6a5f9
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Wed Dec 7 08:20:28 2016 +0100

    gringo-manpages.patch: regenerated from gbp pq
---
 debian/patches/gringo-manpages.patch | 35 +++++++++++++++++++++++++----------
 1 file changed, 25 insertions(+), 10 deletions(-)

diff --git a/debian/patches/gringo-manpages.patch b/debian/patches/gringo-manpages.patch
index 42cc981..a983e80 100644
--- a/debian/patches/gringo-manpages.patch
+++ b/debian/patches/gringo-manpages.patch
@@ -1,9 +1,22 @@
-Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
-Description: Add gringo.1, clingo.1, and reify.1 manpages.
-Index: gringo-git-gbp/clingo.1
+From: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
+Date: Wed, 7 Dec 2016 07:50:31 +0100
+Subject: Add gringo.1, clingo.1, and reify.1 manpages
+
 ===================================================================
+---
+ clingo.1 | 54 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
+ gringo.1 | 55 +++++++++++++++++++++++++++++++++++++++++++++++++++++++
+ reify.1  | 54 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
+ 3 files changed, 163 insertions(+)
+ create mode 100644 clingo.1
+ create mode 100644 gringo.1
+ create mode 100644 reify.1
+
+diff --git a/clingo.1 b/clingo.1
+new file mode 100644
+index 0000000..bf0d5fd
 --- /dev/null
-+++ gringo-git-gbp/clingo.1
++++ b/clingo.1
 @@ -0,0 +1,54 @@
 +.\"                                      Hey, EMACS: -*- nroff -*-
 +.\" First parameter, NAME, should be all caps
@@ -59,10 +72,11 @@ Index: gringo-git-gbp/clingo.1
 +.PP
 +This manual page was written by Thomas Krennwallner <tkren at kr.tuwien.ac.at>,
 +for the Debian project (and may be used by others).
-Index: gringo-git-gbp/gringo.1
-===================================================================
+diff --git a/gringo.1 b/gringo.1
+new file mode 100644
+index 0000000..97e6a03
 --- /dev/null
-+++ gringo-git-gbp/gringo.1
++++ b/gringo.1
 @@ -0,0 +1,55 @@
 +.\"                                      Hey, EMACS: -*- nroff -*-
 +.\" First parameter, NAME, should be all caps
@@ -119,10 +133,11 @@ Index: gringo-git-gbp/gringo.1
 +.PP
 +This manual page was written by Thomas Krennwallner <tkren at kr.tuwien.ac.at>,
 +for the Debian project (and may be used by others).
-Index: gringo-git-gbp/reify.1
-===================================================================
+diff --git a/reify.1 b/reify.1
+new file mode 100644
+index 0000000..d818d34
 --- /dev/null
-+++ gringo-git-gbp/reify.1
++++ b/reify.1
 @@ -0,0 +1,54 @@
 +.\"                                      Hey, EMACS: -*- nroff -*-
 +.\" First parameter, NAME, should be all caps

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