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;
aspinall@24185
     1
#!/usr/bin/env bash
aspinall@24185
     2
#
aspinall@24185
     3
# $Id$
aspinall@24185
     4
# Author: David Aspinall and Makarius Wenzel
aspinall@24185
     5
#
wenzelm@24206
     6
# DESCRIPTION: prepare a session directory for PG-Eclipse
aspinall@24185
     7
aspinall@24185
     8
PRG="$(basename "$0")"
aspinall@24185
     9
aspinall@24185
    10
function usage()
aspinall@24185
    11
{
aspinall@24185
    12
  echo
aspinall@24185
    13
  echo "Usage: $PRG NAME"
aspinall@24185
    14
  echo
wenzelm@24206
    15
  echo "  Prepare a session directory for PG-Eclipse."
aspinall@24185
    16
  exit 1
aspinall@24185
    17
}
aspinall@24185
    18
aspinall@24185
    19
if [ "$#" -eq 1 ]; then
wenzelm@24206
    20
  NAME="$1"; shift
aspinall@24185
    21
else
aspinall@24185
    22
  usage
aspinall@24185
    23
fi
aspinall@24185
    24
wenzelm@24206
    25
"$ISATOOL" mkdir -b -q "$NAME"
wenzelm@24206
    26
(cd document; "$ISATOOL" latex -o sty)
aspinall@24185
    27