Fixes the environment used for the doc-build script. #3257

Closed
wants to merge 1 commit into
from
View
2 scripts/doc-build.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
if [[ $DEBUG != "" ]]; then
set -x