Makefile: Improve man support
authorNiki Roo <niki@nikiroo.be>
Wed, 28 Mar 2018 13:02:25 +0000 (15:02 +0200)
committerNiki Roo <niki@nikiroo.be>
Wed, 28 Mar 2018 13:02:25 +0000 (15:02 +0200)
Makefile.base

index 98a80e4795d46c363b3e9bd2b6bdc1ad193c8cd5..ba407111c6307d6384ad5e800d6d95083670af6b 100644 (file)
@@ -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"; \