$OpenBSD: patch-tools_gnome-doc-tool_in,v 1.4 2011/03/08 14:41:15 ajacoutot Exp $
--- tools/gnome-doc-tool.in.orig	Mon Jan 10 17:13:20 2011
+++ tools/gnome-doc-tool.in	Tue Mar  8 15:35:09 2011
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 # 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>
@@ -548,7 +548,7 @@ create_css() {
       -lversion
       -lhelp
     ';
-    options=`getopt -qn$progname $longopts -- o:vVh "$@"`
+    options=`gnugetopt -qn$progname $longopts -- o:vVh "$@"`
     if [ "$?" != "0" ]; then print_help_css 1>&2; exit 1; fi
     eval set -- "$options";
     while [ "$1" != "--" ]; do
@@ -604,7 +604,7 @@ convert_2html() {
       -lversion
       -lhelp
     ';
-    options=`getopt -qn$progname $longopts -- c:d:e:o:x:nvVh "$@"`
+    options=`gnugetopt -qn$progname $longopts -- c:d:e:o:x:nvVh "$@"`
     if [ "$?" != "0" ]; then print_help_html $doc_format 1>&2; exit 1; fi
     eval set -- "$options";
     while [ "$1" != "--" ]; do
