[tracker] docs/tools: make gen-doc.sh more portable, don't use /bin/bash

[Martyn James Russell <mr src gnome org>]

commit 2c4ce14f09e85fb71ec1f452be054d9d7b3a61f8
Author: Martyn Russell <martyn lanedo com>
Date:   Fri Jan 17 09:48:30 2014 +0000

    docs/tools: make gen-doc.sh more portable, don't use /bin/bash
    
    https://bugzilla.gnome.org/show_bug.cgi?id=722353

 docs/tools/gen-doc.sh |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/docs/tools/gen-doc.sh b/docs/tools/gen-doc.sh
index 7f1cf17..0229116 100755
--- a/docs/tools/gen-doc.sh
+++ b/docs/tools/gen-doc.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # Generates the SGML documentation from a TTL description
 # Copyright (C) 2009, Nokia <ivan frade nokia com>