author | wenzelm |
Mon, 17 Sep 2007 16:36:45 +0200 | |
changeset 24614 | a4b2eb0dd673 |
parent 24206 | 9572c9374dc6 |
child 28500 | 4b79e5d3d0aa |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # $Id$ # Author: David Aspinall and Makarius Wenzel # # DESCRIPTION: prepare a session directory for PG-Eclipse PRG="$(basename "$0")" function usage() { echo echo "Usage: $PRG NAME" echo echo " Prepare a session directory for PG-Eclipse." exit 1 } if [ "$#" -eq 1 ]; then NAME="$1"; shift else usage fi "$ISATOOL" mkdir -b -q "$NAME" (cd document; "$ISATOOL" latex -o sty)