lib/Tools/mkproject
author wenzelm
Thu Aug 09 19:19:23 2007 +0200 (2007-08-09 ago)
changeset 24206 9572c9374dc6
parent 24185 cb0c4bd149a6
child 28500 4b79e5d3d0aa
permissions -rwxr-xr-x
fixed DESCRIPTION: single line;
proper quoting of shell variables;
     1 #!/usr/bin/env bash
     2 #
     3 # $Id$
     4 # Author: David Aspinall and Makarius Wenzel
     5 #
     6 # DESCRIPTION: prepare a session directory for PG-Eclipse
     7 
     8 PRG="$(basename "$0")"
     9 
    10 function usage()
    11 {
    12   echo
    13   echo "Usage: $PRG NAME"
    14   echo
    15   echo "  Prepare a session directory for PG-Eclipse."
    16   exit 1
    17 }
    18 
    19 if [ "$#" -eq 1 ]; then
    20   NAME="$1"; shift
    21 else
    22   usage
    23 fi
    24 
    25 "$ISATOOL" mkdir -b -q "$NAME"
    26 (cd document; "$ISATOOL" latex -o sty)
    27