Merge pull request #1685 from Taeung/check-md2man

Warning message if 'go-md2man' is not yet installed
This commit is contained in:
Qiang Huang 2018-02-08 09:13:44 +08:00 committed by GitHub
commit 7af2e25c66
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 0 deletions

View File

@ -9,6 +9,11 @@ cd "$(dirname "$(readlink -f "$BASH_SOURCE")")"
pwd
}
if ! ( which go-md2man &>/dev/null ); then
echo "To install man pages, please install 'go-md2man'."
exit 0
fi
for FILE in *.md; do
base="$(basename "$FILE")"
name="${base%.md}"