[gnome-documents] /bin/bash -> /bin/sh

[Antoine Jacoutot <ajacoutot src gnome org>]

commit fffb37e1ea849578ac34561bc6fb076e61ff2fb9
Author: Antoine Jacoutot <ajacoutot gnome org>
Date:   Sun Jul 8 08:56:26 2012 +0200

    /bin/bash -> /bin/sh
    
    There is nothing specific to bash(1) in the gnome-documents wrapper
    scripts, so use /bin/sh instead which makes it portable amongst any Unix.

 src/gnome-documents-debug.in           |    2 +-
 src/gnome-documents-search-provider.in |    2 +-
 src/gnome-documents.in                 |    2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/src/gnome-documents-debug.in b/src/gnome-documents-debug.in
index 4d6bdfa..d927a8c 100644
--- a/src/gnome-documents-debug.in
+++ b/src/gnome-documents-debug.in
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 if test x"$GJS_PATH" = x ; then
     export GJS_PATH= pkgdatadir@/js
diff --git a/src/gnome-documents-search-provider.in b/src/gnome-documents-search-provider.in
index bf75ab1..cc0f90a 100644
--- a/src/gnome-documents-search-provider.in
+++ b/src/gnome-documents-search-provider.in
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 if test x"$GJS_PATH" = x ; then
     export GJS_PATH= pkgdatadir@/js
diff --git a/src/gnome-documents.in b/src/gnome-documents.in
index 4811128..28b0184 100644
--- a/src/gnome-documents.in
+++ b/src/gnome-documents.in
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 if test x"$GJS_PATH" = x ; then
     export GJS_PATH= pkgdatadir@/js