From 37bda67e5471ab7dde87d924e58d334d618b1e1f Mon Sep 17 00:00:00 2001
From: Florian Margaine <florian@margaine.com>
Date: Sat, 16 Mar 2013 13:13:45 +0100
Subject: Fix the environment used for the doc-build script.

Fixes #2004.
---
 scripts/doc-build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scripts')

diff --git a/scripts/doc-build.sh b/scripts/doc-build.sh
index 9a66d4dbb..750c48d00 100755
--- a/scripts/doc-build.sh
+++ b/scripts/doc-build.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 if [[ $DEBUG != "" ]]; then
   set -x
-- 
cgit v1.2.3