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
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"; \