[clasp] 06/10: clasp-manpage.patch: point to http://www.potassco.org/clasp

[Thomas Krennwallner]

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

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

commit e98e6bbbcc0d565ee5315f5e14c5f3cb1bd14659
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Wed Nov 30 08:39:00 2016 +0100

    clasp-manpage.patch: point to http://www.potassco.org/clasp
---
 debian/patches/clasp-manpage.patch | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/debian/patches/clasp-manpage.patch b/debian/patches/clasp-manpage.patch
index 2eaf8c9..377cba8 100644
--- a/debian/patches/clasp-manpage.patch
+++ b/debian/patches/clasp-manpage.patch
@@ -1,5 +1,6 @@
 Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
-Description: Add clasp.1 manpage.
+Description: Add clasp.1 manpage
+Last-Update: 2016-11-30
 Index: clasp-1.3.3/clasp.1
 ===================================================================
 --- /dev/null	1970-01-01 00:00:00.000000000 +0000
@@ -26,7 +27,7 @@ Index: clasp-1.3.3/clasp.1
 +clasp \- a conflict-driven nogood learning answer set solver 
 +.SH SYNOPSIS
 +.B clasp
-+.RI [number] [options]
++[\fInumber\fR] \fR[\fIoptions\fR]
 +.SH DESCRIPTION
 +This manual page documents briefly the
 +.B clasp
@@ -51,7 +52,7 @@ Index: clasp-1.3.3/clasp.1
 +These programs follow the usual GNU command line syntax, with long
 +options starting with two dashes (`-').
 +A summary of options is included below.
-+For a complete description, see <http://www.cs.uni-potsdam.de/clasp/>.
++For a complete description, see <http://www.potassco.org/clasp/>.
 +.TP
 +.B \-h, \-\-help
 +Show summary of options.

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