diff options
Diffstat (limited to 'debian/patches/0013-Fix-incorrect-name-in-Makefile.patch')
| -rw-r--r-- | debian/patches/0013-Fix-incorrect-name-in-Makefile.patch | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/debian/patches/0013-Fix-incorrect-name-in-Makefile.patch b/debian/patches/0013-Fix-incorrect-name-in-Makefile.patch new file mode 100644 index 0000000..57b08e0 --- /dev/null +++ b/debian/patches/0013-Fix-incorrect-name-in-Makefile.patch @@ -0,0 +1,23 @@ +From: Neil Muller <drnlmuller+debian@gmail.com> +Date: Sun, 13 May 2018 15:20:45 +0200 +Subject: Fix incorrect name in Makefile. + +Forwarded: https://gitlab.com/esr/irker/merge_requests/17 +Patch-Name: 0013-fix-wrong-name-in-makefile +--- + Makefile | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/Makefile b/Makefile +index fc6ac7f..6bd2052 100644 +--- a/Makefile ++++ b/Makefile +@@ -24,7 +24,7 @@ irkerhook.html: irkerhook.xml + irk.1: irk.xml + xmlto man irk.xml + irk.html: irk.xml +- xmlto html-nochunks irkerhook.xml ++ xmlto html-nochunks irk.xml + + install.html: install.txt + asciidoc -o install.html install.txt |