lib/Tools/mkproject
author wenzelm
Sat Jul 25 10:31:27 2009 +0200 (2009-07-25)
changeset 32187 cca43ca13f4f
parent 29143 72c960b2b83e
permissions -rwxr-xr-x
renamed structure Display_Goal to Goal_Display;
aspinall@24185
     1
#!/usr/bin/env bash
aspinall@24185
     2
#
wenzelm@29143
     3
# Author: David Aspinall
aspinall@24185
     4
#
wenzelm@24206
     5
# DESCRIPTION: prepare a session directory for PG-Eclipse
aspinall@24185
     6
aspinall@24185
     7
PRG="$(basename "$0")"
aspinall@24185
     8
aspinall@24185
     9
function usage()
aspinall@24185
    10
{
aspinall@24185
    11
  echo
wenzelm@28650
    12
  echo "Usage: isabelle $PRG NAME"
aspinall@24185
    13
  echo
wenzelm@24206
    14
  echo "  Prepare a session directory for PG-Eclipse."
aspinall@24185
    15
  exit 1
aspinall@24185
    16
}
aspinall@24185
    17
aspinall@24185
    18
if [ "$#" -eq 1 ]; then
wenzelm@24206
    19
  NAME="$1"; shift
aspinall@24185
    20
else
aspinall@24185
    21
  usage
aspinall@24185
    22
fi
aspinall@24185
    23
wenzelm@28500
    24
"$ISABELLE_TOOL" mkdir -b -q "$NAME"
wenzelm@28500
    25
( cd document; "$ISABELLE_TOOL" latex -o sty; )