diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2007-09-10 12:11:09 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2007-09-10 12:11:09 +0000 |
| commit | ecaabb26ca19a0cc4a59d5856dbc23f6d3ca473d (patch) | |
| tree | 29bba12527d6a55fc152faf44e455a2b9e3a34b4 /math/isabelle/files/patch-lib-Tools-doc | |
| parent | - Fix breakage with the rootcerts install step. (diff) | |
Update port: math/isabelle
Update to Isabelle port:
* Works with updated sml-nj-devel port.
* Does not require bash
Thanks to Johannes 5 Joemann for helpful comments/patches.
PR: ports/116046
Submitted by: Timothy Bourke <timbob@bigpond.com>
Diffstat (limited to 'math/isabelle/files/patch-lib-Tools-doc')
| -rw-r--r-- | math/isabelle/files/patch-lib-Tools-doc | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/math/isabelle/files/patch-lib-Tools-doc b/math/isabelle/files/patch-lib-Tools-doc new file mode 100644 index 000000000000..47790edec2c6 --- /dev/null +++ b/math/isabelle/files/patch-lib-Tools-doc @@ -0,0 +1,26 @@ +--- ./lib/Tools/doc.orig Sun Sep 2 15:11:55 2007 ++++ ./lib/Tools/doc Sun Sep 2 15:48:14 2007 +@@ -1,4 +1,4 @@ +-#!/usr/bin/env bash ++#!/bin/sh + # + # $Id: doc,v 1.13 2005/04/13 16:48:06 wenzelm Exp $ + # Author: Markus Wenzel, TU Muenchen +@@ -8,7 +8,7 @@ + + PRG="$(basename "$0")" + +-function usage() ++usage() + { + echo + echo "Usage: $PRG [DOC]" +@@ -18,7 +18,7 @@ + exit 1 + } + +-function fail() ++fail() + { + echo "$1" >&2 + exit 2 |