[polyml] 02/02: Refresh polyc.1-fix.diff

[James Clarke]

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

jrtc27-guest pushed a commit to branch master
in repository polyml.

commit e474a3896d42a903a21049f484bed6228a514ffa
Author: James Clarke <jrtc27 at jrtc27.com>
Date:   Mon Oct 19 22:38:19 2015 +0100

    Refresh polyc.1-fix.diff
---
 debian/patches/polyc.1-fix.diff | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/debian/patches/polyc.1-fix.diff b/debian/patches/polyc.1-fix.diff
index 2ed6a52..b16361d 100644
--- a/debian/patches/polyc.1-fix.diff
+++ b/debian/patches/polyc.1-fix.diff
@@ -1,8 +1,8 @@
 Description: Fix typo and version number in polyc man page.
 Origin: upstream, https://github.com/polyml/polyml/commit/61370f2ec8cc79a72b851346a3de0192172bbe67
 Author: David Matthews <dm at prolingua.co.uk>
-diff --git a/polyc.1 b/polyc.1
-index 6336860..3e26c66 100644
+---
+This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
 --- a/polyc.1
 +++ b/polyc.1
 @@ -1,4 +1,4 @@
@@ -11,7 +11,7 @@ index 6336860..3e26c66 100644
  .SH NAME
  polyc \- Compile and link a Standard ML program using Poly/ML
  .SH SYNOPSIS
-@@ -6,7 +6,7 @@ polyc \- Compile and link a Standard ML program using Poly/ML
+@@ -6,7 +6,7 @@
  .I sourcefile
  .SH DESCRIPTION
  .I polyc 

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