diff options
Diffstat (limited to 'docs/remote-docs.sh')
| -rwxr-xr-x | docs/remote-docs.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/remote-docs.sh b/docs/remote-docs.sh index 4774b94a3..6d520fae6 100755 --- a/docs/remote-docs.sh +++ b/docs/remote-docs.sh @@ -1,5 +1,6 @@ -#!/bin/bash -e +#!/usr/bin/env bash # Assemble remote man pages for darwin or windows from markdown files +set -e PLATFORM=$1 ## linux, windows or darwin TARGET=${2} ## where to output files |