Useful abbreviation of isatool commands used by Eclipse
authoraspinall
Wed Aug 08 20:03:17 2007 +0200 (2007-08-08)
changeset 24185cb0c4bd149a6
parent 24184 19cb051154fd
child 24186 d7f267b806c9
Useful abbreviation of isatool commands used by Eclipse
lib/Tools/mkproject
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/lib/Tools/mkproject	Wed Aug 08 20:03:17 2007 +0200
     1.3 @@ -0,0 +1,31 @@
     1.4 +#!/usr/bin/env bash
     1.5 +#
     1.6 +# $Id$
     1.7 +# Author: David Aspinall and Makarius Wenzel
     1.8 +#
     1.9 +# DESCRIPTION: prepare Isabelle project, including document subdirectory
    1.10 +# A useful abbreviation of a pair of isatool calls.
    1.11 +#
    1.12 +
    1.13 +PRG="$(basename "$0")"
    1.14 +
    1.15 +function usage()
    1.16 +{
    1.17 +  echo
    1.18 +  echo "Usage: $PRG NAME"
    1.19 +  echo
    1.20 +  echo "  Prepare a session directory in the current directory, including IsaMakefile,"
    1.21 +  echo "  document source and LaTeX files."
    1.22 +  exit 1
    1.23 +}
    1.24 +
    1.25 +if [ "$#" -eq 1 ]; then
    1.26 +   NAME="$1"; shift
    1.27 +else
    1.28 +  usage
    1.29 +fi
    1.30 +
    1.31 +
    1.32 +$ISATOOL mkdir -b -q $NAME
    1.33 +(cd document; $ISATOOL latex -o sty)
    1.34 +