[gnome-doc-utils] gnome-doc-tool.in: Use /bin/bash, because we use bash features

[Shaun McCance <shaunm src gnome org>]

commit 694ea8a262de0a57afe6104490b6749d786671c4
Author: Shaun McCance <shaunm gnome org>
Date:   Mon Jan 10 11:13:25 2011 -0500

    gnome-doc-tool.in: Use /bin/bash, because we use bash features

 tools/gnome-doc-tool.in |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/tools/gnome-doc-tool.in b/tools/gnome-doc-tool.in
index dfdf6b0..78327f0 100644
--- a/tools/gnome-doc-tool.in
+++ b/tools/gnome-doc-tool.in
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # gnome-doc-html - Convert documentation to HTML
 # gnome-doc-html.  Generated from gnome-doc-html.in by configure.
 # Copyright (C) 2006 Shaun McCance <shaunm gnome org>