28 lines
1.0 KiB
Plaintext
28 lines
1.0 KiB
Plaintext
$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
|