/jEdit/tags/jedit-4-0-pre3/installer/mk_installer.sh
Shell | 19 lines | 11 code | 4 blank | 4 comment | 1 complexity | 0c61ca77579866efd213fbb428bcf84d MD5 | raw file
1#!/bin/sh 2 3# This script must be run from the jEdit directory, *not* the installer 4# directory!!! 5 6if [ "$1" = "" ]; then 7 echo "Must specify a command line parameter." 8 exit 1 9fi 10 11# By default, put it in your home directory 12DESTDIR=$HOME 13 14jar cfm $DESTDIR/jedit${1}install.jar installer/install.mf \ 15 installer/install.props \ 16 installer/*.html \ 17 installer/*.class \ 18 `cat installer/jedit-*` \ 19 installer/jedit-*