From aa57d936aac8d6c15b9906af94a0c42b80abdfb2 Mon Sep 17 00:00:00 2001
From: Rong-En Fan <rafan@FreeBSD.org>
Date: Fri, 4 Apr 2008 12:15:22 +0000
Subject: - Update to 2007

PR:		ports/121000
Submitted by:	Timothy Bourke <timbob at bigpond.com> (maintainer)
---
 math/isabelle/files/patch-lib-Tools-mkproject | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 math/isabelle/files/patch-lib-Tools-mkproject

(limited to 'math/isabelle/files/patch-lib-Tools-mkproject')

diff --git a/math/isabelle/files/patch-lib-Tools-mkproject b/math/isabelle/files/patch-lib-Tools-mkproject
new file mode 100644
index 000000000000..069af7d50cb9
--- /dev/null
+++ b/math/isabelle/files/patch-lib-Tools-mkproject
@@ -0,0 +1,17 @@
+--- lib/Tools/mkproject.orig	Sat Jan 12 17:18:15 2008
++++ lib/Tools/mkproject	Sat Jan 12 17:18:41 2008
+@@ -1,4 +1,4 @@
+-#!/usr/bin/env bash
++#!/bin/sh
+ #
+ # $Id: mkproject,v 1.2 2007/08/09 17:19:23 wenzelm Exp $
+ # Author: David Aspinall and Makarius Wenzel
+@@ -7,7 +7,7 @@
+ 
+ PRG="$(basename "$0")"
+ 
+-function usage()
++usage()
+ {
+   echo
+   echo "Usage: $PRG NAME"
-- 
cgit v1.2.3