From 0002baf18813f5041ee75b5ec58dbe402be8aadc Mon Sep 17 00:00:00 2001 From: Edwin Groothuis Date: Fri, 15 Aug 2008 04:33:04 +0000 Subject: [MAINTAINER] math/isabelle: update from 2007 to 2008 Updates the port to the latest Isabelle release. It does not seem worth the effort to continually patch the bash script files to make them work under sh, hence the large number of removed files. PR: ports/126067 Submitted by: Timothy Bourke --- math/isabelle/files/patch-lib-Tools-convert | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 math/isabelle/files/patch-lib-Tools-convert (limited to 'math/isabelle/files/patch-lib-Tools-convert') diff --git a/math/isabelle/files/patch-lib-Tools-convert b/math/isabelle/files/patch-lib-Tools-convert deleted file mode 100644 index 97a0515e6ee2..000000000000 --- a/math/isabelle/files/patch-lib-Tools-convert +++ /dev/null @@ -1,17 +0,0 @@ ---- ./lib/Tools/convert.orig Sun Sep 2 15:11:55 2007 -+++ ./lib/Tools/convert Sun Sep 2 15:48:00 2007 -@@ -1,4 +1,4 @@ --#!/usr/bin/env bash -+#!/bin/sh - # - # $Id: convert,v 1.5 2005/04/26 17:50:57 wenzelm Exp $ - # Author: David von Oheimb, TU Muenchen -@@ -10,7 +10,7 @@ - - PRG="$(basename "$0")" - --function usage() -+usage() - { - echo - echo "Usage: $PRG [FILES|DIRS...]" -- cgit v1.2.3