--- ./lib/Tools/fixgreek.orig Sun Sep 2 15:11:55 2007 +++ ./lib/Tools/fixgreek Sun Sep 2 15:48:35 2007 @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/sh # # $Id: fixgreek,v 1.4 2005/04/26 17:50:58 wenzelm Exp $ # Author: Sebastian Skalberg, TU Muenchen @@ -10,7 +10,7 @@ PRG="$(basename "$0")" -function usage() +usage() { echo echo "Usage: $PRG [FILES|DIRS...]"