diff options
Diffstat (limited to 'build_tools')
| -rwxr-xr-x | build_tools/build_documentation.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_tools/build_documentation.sh b/build_tools/build_documentation.sh index 42b71eac..8e9f6939 100755 --- a/build_tools/build_documentation.sh +++ b/build_tools/build_documentation.sh @@ -42,7 +42,7 @@ mkdir -p "${OUTPUTDIR}" # Make a temporary directory -TMPLOC=`mktemp -d -t fish_doc_build` || { echo >&2 "Could not build documentation because mktemp failed"; exit 1; } +TMPLOC=`mktemp -d -t fish_doc_build_XXXXXX` || { echo >&2 "Could not build documentation because mktemp failed"; exit 1; } # Copy stuff to the temp directory for i in "$FISHDIR"/doc_src/*.txt; do |