author | wenzelm |
Sat, 17 May 2008 13:54:30 +0200 | |
changeset 26928 | ca87aff1ad2d |
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)