Merge branch 'android' of git.nikiroo.be:git/fanfix into android

[fanfix.git] / Makefile.base

diff --git a/Makefile.base b/Makefile.base
index 98a80e4795d46c363b3e9bd2b6bdc1ad193c8cd5..586c38e377fa9b0016081361d1c3d336b57ab5f2 100644 (file)
--- a/Makefile.base
+++ b/Makefile.base
@@ -188,6 +188,9 @@ install:
        echo "#!/bin/sh" > "$(PREFIX)/bin/$(NAME)"
        echo "$(RJAR) $(RJAR_FLAGS) \"$(PREFIX)/lib/$(NAME).jar\" \"\$$@\"" >> "$(PREFIX)/bin/$(NAME)"
        chmod a+rx "$(PREFIX)/bin/$(NAME)"
+       if [ -e "man/man1/$(NAME).1" ]; then \
+               cp -r man/ "$(PREFIX)"/share/; \
+       fi
 
 android: android/app/src
 
@@ -274,7 +277,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"; \