diff options
author | Shaun McCance <shaunm@gnome.org> | 2011-01-10 11:13:25 -0500 |
---|---|---|
committer | Shaun McCance <shaunm@gnome.org> | 2011-01-10 11:13:25 -0500 |
commit | 694ea8a262de0a57afe6104490b6749d786671c4 (patch) | |
tree | 41c602ba6666b8883c9eec3f58a62ecdfd0a76bd /tools | |
parent | 5495828ef2dafef0ae1f7b1a8957b4740d921dba (diff) | |
download | gnome-doc-utils-694ea8a262de0a57afe6104490b6749d786671c4.tar.gz |
gnome-doc-tool.in: Use /bin/bash, because we use bash features
Diffstat (limited to 'tools')
-rw-r--r-- | 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> |