diff options
-rw-r--r-- | debian/patches/mkosi.md-convert-emdash-into-regular-dash.patch | 24 | ||||
-rw-r--r-- | debian/patches/series | 1 |
2 files changed, 25 insertions, 0 deletions
diff --git a/debian/patches/mkosi.md-convert-emdash-into-regular-dash.patch b/debian/patches/mkosi.md-convert-emdash-into-regular-dash.patch new file mode 100644 index 0000000..e97c700 --- /dev/null +++ b/debian/patches/mkosi.md-convert-emdash-into-regular-dash.patch @@ -0,0 +1,24 @@ +From: Felipe Sateler <fsateler@debian.org> +Date: Sun, 7 Jul 2019 22:21:33 -0400 +Subject: mkosi.md: convert emdash into regular dash + +Otherwise pandoc emits a manpage that cannot be parsed by lexgrog + +Detected by lintian +--- + mkosi.md | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/mkosi.md b/mkosi.md +index 2b56a58..c2caf43 100644 +--- a/mkosi.md ++++ b/mkosi.md +@@ -4,7 +4,7 @@ + + # NAME + +-mkosi — Build Legacy-Free OS Images ++mkosi - Build Legacy-Free OS Images + + # SYNOPSIS + diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..8d3d25b --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +mkosi.md-convert-emdash-into-regular-dash.patch |