diff options
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/build.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/build.sh b/doc/build.sh index 4ed69004..e06a4a20 100755 --- a/doc/build.sh +++ b/doc/build.sh @@ -13,6 +13,11 @@ if [ -e /usr/bin/ronn ]; then /usr/bin/ronn -r zerotier-idtool.1.md /usr/bin/ronn -r zerotier-one.8.md else + if [ ! -f /usr/bin/node -a ! -f /usr/bin/nodejs ]; then + echo 'Unable to build man pages: no /usr/bin/ronn or /usr/bin/node / nodejs!' + exit 0 + fi + if [ ! -f node_modules/marked-man/bin/marked-man ]; then echo 'Installing MarkDown to ROFF converter...' npm install marked-man |