From 5783289ee54b3ac206f2e57e1d1856a5ab5e965e Mon Sep 17 00:00:00 2001 From: Niki Roo Date: Wed, 28 Mar 2018 15:02:25 +0200 Subject: [PATCH] Makefile: Improve man support --- Makefile.base | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile.base b/Makefile.base index 98a80e4..ba40711 100644 --- a/Makefile.base +++ b/Makefile.base @@ -274,7 +274,8 @@ man: cat "$$man" | tail -n+2; \ ) | sed 's:^#\(#.*\):\1:g' \ | sed 's:^\(#.*\):\U\1:g;s:# *'"$$UNAME"':# NAME\n'"${NAME}"' \\- :g' \ - | pandoc -f markdown -t man | sed 's:-:\\-:g' ; \ + | sed 's:--:——:g' \ + | pandoc -f markdown -t man | sed 's:——:--:g' ; \ ) > man/"$$lang"/man1/"${NAME}.1"; \ done; \ mkdir -p "man/man1"; \ -- 2.27.0