diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2008-08-15 04:33:04 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2008-08-15 04:33:04 +0000 |
| commit | 0002baf18813f5041ee75b5ec58dbe402be8aadc (patch) | |
| tree | 8ef73fea6ccf16a0585301ef5f8f299d4b08b1cc /math/isabelle/files/patch-lib-Tools-latex | |
| parent | Forgotten in previous commit. (diff) | |
[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 <timbob@bigpond.com>
Diffstat (limited to 'math/isabelle/files/patch-lib-Tools-latex')
| -rw-r--r-- | math/isabelle/files/patch-lib-Tools-latex | 65 |
1 files changed, 0 insertions, 65 deletions
diff --git a/math/isabelle/files/patch-lib-Tools-latex b/math/isabelle/files/patch-lib-Tools-latex deleted file mode 100644 index 8c4881b113f8..000000000000 --- a/math/isabelle/files/patch-lib-Tools-latex +++ /dev/null @@ -1,65 +0,0 @@ ---- ./lib/Tools/latex.orig Sun Sep 2 15:11:55 2007 -+++ ./lib/Tools/latex Sun Sep 2 15:48:54 2007 -@@ -1,4 +1,4 @@ --#!/usr/bin/env bash -+#!/bin/sh - # - # $Id: latex,v 1.27 2005/07/19 15:21:45 wenzelm Exp $ - # Author: Markus Wenzel, TU Muenchen -@@ -8,7 +8,7 @@ - - PRG="$(basename "$0")" - --function usage() -+usage() - { - echo - echo "Usage: $PRG [OPTIONS] [FILE]" -@@ -23,7 +23,7 @@ - exit 1 - } - --function fail() -+fail() - { - echo "$1" >&2 - exit 2 -@@ -67,7 +67,7 @@ - FILEBASE=$(basename "$FILE" .tex) - [ "$DIR" = . ] || FILEBASE="$DIR/$FILEBASE" - --function check_root () { [ -f "$FILEBASE.tex" ] || fail "Bad file '$FILE'"; } -+check_root () { [ -f "$FILEBASE.tex" ] || fail "Bad file '$FILE'"; } - - - # operations -@@ -75,13 +75,13 @@ - #set by configure - AUTO_PERL=perl - --function run_latex () { $ISABELLE_LATEX "\\nonstopmode\\input{$FILEBASE.tex}"; } --function run_pdflatex () { $ISABELLE_PDFLATEX "\\nonstopmode\\input{$FILEBASE.tex}"; } --function run_bibtex () { $ISABELLE_BIBTEX </dev/null "$FILEBASE"; } --function run_makeindex () { $ISABELLE_MAKEINDEX </dev/null "$FILEBASE"; } --function run_dvips () { $ISABELLE_DVIPS -q -o "$FILEBASE.ps" "$FILEBASE.dvi"; } --function run_thumbpdf () { [ -n "$ISABELLE_THUMBPDF" ] && $ISABELLE_THUMBPDF "$FILEBASE"; } --function copy_styles () -+run_latex () { $ISABELLE_LATEX "\\nonstopmode\\input{$FILEBASE.tex}"; } -+run_pdflatex () { $ISABELLE_PDFLATEX "\\nonstopmode\\input{$FILEBASE.tex}"; } -+run_bibtex () { $ISABELLE_BIBTEX </dev/null "$FILEBASE"; } -+run_makeindex () { $ISABELLE_MAKEINDEX </dev/null "$FILEBASE"; } -+run_dvips () { $ISABELLE_DVIPS -q -o "$FILEBASE.ps" "$FILEBASE.dvi"; } -+run_thumbpdf () { [ -n "$ISABELLE_THUMBPDF" ] && $ISABELLE_THUMBPDF "$FILEBASE"; } -+copy_styles () - { - for STYLEFILE in "$ISABELLE_HOME/lib/texinputs"/*.sty - do -@@ -90,7 +90,7 @@ - done - } - --function extract_syms () -+extract_syms () - { - "$AUTO_PERL" -n \ - -e '(!m,%requires, || m,%requires latin1, || m,%requires amssymb, || m,%requires textcomp,) && m,\\newcommand\{\\isasym(\w+)\}, && print "$1\n";' \ |