/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
- #!/bin/sh
- # This script must be run from the jEdit directory, *not* the installer
- # directory!!!
- if [ "$1" = "" ]; then
- echo "Must specify a command line parameter."
- exit 1
- fi
- # By default, put it in your home directory
- DESTDIR=$HOME
- jar cfm $DESTDIR/jedit${1}install.jar installer/install.mf \
- installer/install.props \
- installer/*.html \
- installer/*.class \
- `cat installer/jedit-*` \
- installer/jedit-*