PageRenderTime 75ms CodeModel.GetById 72ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-2-pre14/installer/mk_installer.sh

#
Shell | 19 lines | 11 code | 4 blank | 4 comment | 1 complexity | 3fda17fcb4cd79c64b923d6f9b9639f0 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 cf0m $DESTDIR/jedit${1}install.jar installer/install.mf \
15	installer/install.props \
16	installer/*.html \
17	installer/*.class \
18	installer/jedit-*.tar.bz2 \
19	jedit.1