lib/Tools/mkdir
author nipkow
Tue, 27 Mar 2001 13:00:30 +0200
changeset 11227 d9bda7cbdf56
parent 10576 92d3cbea80b2
child 11578 43c6735080b8
permissions -rwxr-xr-x
fixed bug in tactic for ball 1 point simproc
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
10555
2323ec838401 /usr/bin/env bash;
wenzelm
parents: 10511
diff changeset
     1
#!/usr/bin/env bash
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
     2
#
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
     3
# $Id$
9788
wenzelm
parents: 9656
diff changeset
     4
# Author: Markus Wenzel, TU Muenchen
wenzelm
parents: 9656
diff changeset
     5
# License: GPL (GNU GENERAL PUBLIC LICENSE)
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
     6
#
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
     7
# DESCRIPTION: prepare logic session directory
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
     8
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
     9
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    10
## diagnostics
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    11
10511
wenzelm
parents: 10423
diff changeset
    12
PRG="$(basename "$0")"
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    13
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    14
function usage()
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    15
{
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    16
  echo
9237
161fb7f00414 fixed usage;
wenzelm
parents: 8685
diff changeset
    17
  echo "Usage: $PRG [OPTIONS] [LOGIC] NAME"
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    18
  echo
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    19
  echo "  Options are:"
8198
73a5877ca517 -I option;
wenzelm
parents: 8194
diff changeset
    20
  echo "    -I FILE      alternative IsaMakefile output"
8211
714f164f0385 rename -p to -P;
wenzelm
parents: 8199
diff changeset
    21
  echo "    -P           include parent logic target"
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    22
  echo "    -b           setup build mode (session outputs heap image)"
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    23
  echo "    -d           setup document"
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    24
  echo
8194
0c5d9d23b715 misc improvements;
wenzelm
parents: 8162
diff changeset
    25
  echo "  Prepare session directory, including IsaMakefile, document etc."
8199
wenzelm
parents: 8198
diff changeset
    26
  echo "  with parent LOGIC (default ISABELLE_LOGIC=$ISABELLE_LOGIC)"
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    27
  echo
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    28
  exit 1
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    29
}
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    30
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    31
function fail()
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    32
{
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    33
  echo "$1" >&2
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    34
  exit 2
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    35
}
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    36
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    37
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    38
## process command line
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    39
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    40
# options
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    41
8198
73a5877ca517 -I option;
wenzelm
parents: 8194
diff changeset
    42
ISAMAKEFILE="IsaMakefile"
8211
714f164f0385 rename -p to -P;
wenzelm
parents: 8199
diff changeset
    43
PARENT=""
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    44
BUILD=""
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    45
DOCUMENT=""
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    46
8211
714f164f0385 rename -p to -P;
wenzelm
parents: 8199
diff changeset
    47
while getopts "I:Pbd" OPT
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    48
do
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    49
  case "$OPT" in
8198
73a5877ca517 -I option;
wenzelm
parents: 8194
diff changeset
    50
    I)
73a5877ca517 -I option;
wenzelm
parents: 8194
diff changeset
    51
      ISAMAKEFILE="$OPTARG"
73a5877ca517 -I option;
wenzelm
parents: 8194
diff changeset
    52
      ;;
8211
714f164f0385 rename -p to -P;
wenzelm
parents: 8199
diff changeset
    53
    P)
714f164f0385 rename -p to -P;
wenzelm
parents: 8199
diff changeset
    54
      PARENT=true
714f164f0385 rename -p to -P;
wenzelm
parents: 8199
diff changeset
    55
      ;;
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    56
    b)
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    57
      BUILD=true
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    58
      ;;
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    59
    d)
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    60
      DOCUMENT=true
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    61
      ;;
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    62
    \?)
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    63
      usage
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    64
      ;;
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    65
  esac
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    66
done
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    67
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    68
shift $(($OPTIND - 1))
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    69
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    70
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    71
# args
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    72
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    73
9788
wenzelm
parents: 9656
diff changeset
    74
if [ "$#" -eq 1 ]; then
8194
0c5d9d23b715 misc improvements;
wenzelm
parents: 8162
diff changeset
    75
  LOGIC="$ISABELLE_LOGIC"
8685
05b6e5bcab66 handle dir prefix;
wenzelm
parents: 8579
diff changeset
    76
  DIR_NAME="$1"; shift
9788
wenzelm
parents: 9656
diff changeset
    77
elif [ "$#" -eq 2 ]; then
8194
0c5d9d23b715 misc improvements;
wenzelm
parents: 8162
diff changeset
    78
  LOGIC="$1"; shift
8685
05b6e5bcab66 handle dir prefix;
wenzelm
parents: 8579
diff changeset
    79
  DIR_NAME="$1"; shift
8194
0c5d9d23b715 misc improvements;
wenzelm
parents: 8162
diff changeset
    80
else
0c5d9d23b715 misc improvements;
wenzelm
parents: 8162
diff changeset
    81
  usage
0c5d9d23b715 misc improvements;
wenzelm
parents: 8162
diff changeset
    82
fi
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    83
8685
05b6e5bcab66 handle dir prefix;
wenzelm
parents: 8579
diff changeset
    84
DIR=$(dirname "$DIR_NAME")
05b6e5bcab66 handle dir prefix;
wenzelm
parents: 8579
diff changeset
    85
NAME=$(basename "$DIR_NAME")
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    86
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    87
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    88
## main
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    89
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    90
# IsaMakefile
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    91
8685
05b6e5bcab66 handle dir prefix;
wenzelm
parents: 8579
diff changeset
    92
mkdir -p "$DIR" || fail "Bad directory: $DIR"
05b6e5bcab66 handle dir prefix;
wenzelm
parents: 8579
diff changeset
    93
cd "$DIR"
05b6e5bcab66 handle dir prefix;
wenzelm
parents: 8579
diff changeset
    94
05b6e5bcab66 handle dir prefix;
wenzelm
parents: 8579
diff changeset
    95
8244
c587f5ac4a98 basic source deps;
wenzelm
parents: 8211
diff changeset
    96
DOCUMENT_ROOT=""
c587f5ac4a98 basic source deps;
wenzelm
parents: 8211
diff changeset
    97
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    98
if [ -n "$BUILD" ]; then
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
    99
  IMAGES="$NAME"
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   100
  TEST=""
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   101
  TARGET="\$(OUT)/$NAME"
8244
c587f5ac4a98 basic source deps;
wenzelm
parents: 8211
diff changeset
   102
  ROOT_ML="ROOT.ML"
8579
81ef0fc80822 tuned targets;
wenzelm
parents: 8501
diff changeset
   103
  SOURCES="*.thy"
8244
c587f5ac4a98 basic source deps;
wenzelm
parents: 8211
diff changeset
   104
  [ -n "$DOCUMENT" ] && DOCUMENT_ROOT="document/root.tex"
8194
0c5d9d23b715 misc improvements;
wenzelm
parents: 8162
diff changeset
   105
  USEDIR="\$(USEDIR) -b -P http://isabelle.in.tum.de/library"
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   106
else
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   107
  IMAGES=""
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   108
  TEST="$NAME"
8211
714f164f0385 rename -p to -P;
wenzelm
parents: 8199
diff changeset
   109
  TARGET="\$(LOG)/$LOGIC-$NAME.gz"
8244
c587f5ac4a98 basic source deps;
wenzelm
parents: 8211
diff changeset
   110
  ROOT_ML="$NAME/ROOT.ML"
8579
81ef0fc80822 tuned targets;
wenzelm
parents: 8501
diff changeset
   111
  SOURCES="$NAME/*.thy"
8244
c587f5ac4a98 basic source deps;
wenzelm
parents: 8211
diff changeset
   112
  [ -n "$DOCUMENT" ] && DOCUMENT_ROOT="$NAME/document/root.tex"
8194
0c5d9d23b715 misc improvements;
wenzelm
parents: 8162
diff changeset
   113
  USEDIR="\$(USEDIR)"
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   114
fi
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   115
8198
73a5877ca517 -I option;
wenzelm
parents: 8194
diff changeset
   116
if [ "$ISAMAKEFILE" != - -a -f "$ISAMAKEFILE" ]; then
73a5877ca517 -I option;
wenzelm
parents: 8194
diff changeset
   117
  echo "keeping $PWD/$ISAMAKEFILE" >&2
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   118
else
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   119
  { echo
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   120
    echo "## targets"
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   121
    echo
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   122
    echo "default: $NAME"
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   123
    echo "images: $IMAGES"
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   124
    echo "test: $TEST"
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   125
    echo
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   126
    echo "all: images test"
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   127
    echo
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   128
    echo
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   129
    echo "## global settings"
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   130
    echo
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   131
    echo "SRC = \$(ISABELLE_HOME)/src"
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   132
    echo "OUT = \$(ISABELLE_OUTPUT)"
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   133
    echo "LOG = \$(OUT)/log"
8475
deb604b3d9a9 ## -D document;
wenzelm
parents: 8289
diff changeset
   134
    echo "USEDIR = \$(ISATOOL) usedir -i true -d dvi  ## -D document"
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   135
    echo
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   136
    echo
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   137
    echo "## $NAME"
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   138
    echo ""
8162
020e384e67dd -p option;
wenzelm
parents: 8159
diff changeset
   139
    if [ -n "$PARENT" ]; then
020e384e67dd -p option;
wenzelm
parents: 8159
diff changeset
   140
      echo "$NAME: $LOGIC $TARGET"
020e384e67dd -p option;
wenzelm
parents: 8159
diff changeset
   141
      echo
020e384e67dd -p option;
wenzelm
parents: 8159
diff changeset
   142
      echo "$LOGIC:"
020e384e67dd -p option;
wenzelm
parents: 8159
diff changeset
   143
      echo -e "\t@cd \$(SRC)/$LOGIC; \$(ISATOOL) make $LOGIC"
020e384e67dd -p option;
wenzelm
parents: 8159
diff changeset
   144
      echo
8579
81ef0fc80822 tuned targets;
wenzelm
parents: 8501
diff changeset
   145
      echo "$TARGET: \$(OUT)/$LOGIC $ROOT_ML $DOCUMENT_ROOT  ## $SOURCES"
8194
0c5d9d23b715 misc improvements;
wenzelm
parents: 8162
diff changeset
   146
      echo -e "\t@$USEDIR \$(OUT)/$LOGIC $NAME"
8162
020e384e67dd -p option;
wenzelm
parents: 8159
diff changeset
   147
    else
020e384e67dd -p option;
wenzelm
parents: 8159
diff changeset
   148
      echo "$NAME: $TARGET"
020e384e67dd -p option;
wenzelm
parents: 8159
diff changeset
   149
      echo
8579
81ef0fc80822 tuned targets;
wenzelm
parents: 8501
diff changeset
   150
      echo "$TARGET: $ROOT_ML $DOCUMENT_ROOT  ## $SOURCES"
8194
0c5d9d23b715 misc improvements;
wenzelm
parents: 8162
diff changeset
   151
      echo -e "\t@$USEDIR $LOGIC $NAME"
8162
020e384e67dd -p option;
wenzelm
parents: 8159
diff changeset
   152
    fi
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   153
    echo
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   154
    echo
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   155
    echo "## clean"
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   156
    echo
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   157
    echo "clean:"
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   158
    echo -e "\t@rm -f $TARGET"
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   159
    echo
8198
73a5877ca517 -I option;
wenzelm
parents: 8194
diff changeset
   160
  } | {
73a5877ca517 -I option;
wenzelm
parents: 8194
diff changeset
   161
    if [ -z "$ISAMAKEFILE" -o "$ISAMAKEFILE" = - ]; then
73a5877ca517 -I option;
wenzelm
parents: 8194
diff changeset
   162
      cat
73a5877ca517 -I option;
wenzelm
parents: 8194
diff changeset
   163
    else
73a5877ca517 -I option;
wenzelm
parents: 8194
diff changeset
   164
      cat > "$ISAMAKEFILE"
73a5877ca517 -I option;
wenzelm
parents: 8194
diff changeset
   165
    fi
73a5877ca517 -I option;
wenzelm
parents: 8194
diff changeset
   166
  }
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   167
fi
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   168
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   169
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   170
# base directory
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   171
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   172
if [ -z "$BUILD" ]; then
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   173
  mkdir -p "$NAME" || fail "Bad directory: $PWD/$NAME"
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   174
  cd "$NAME"
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   175
fi
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   176
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   177
if [ -f ROOT.ML ]; then
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   178
  echo "keeping $PWD/ROOT.ML" >&2
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   179
else
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   180
  echo -e "\n(* use_thy \"YourTheory\"; *)\n" >ROOT.ML
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   181
fi
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   182
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   183
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   184
# document directory
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   185
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   186
if [ -n "$DOCUMENT" ]; then
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   187
  if [ -e document ]; then
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   188
    echo "keeping $PWD/document" >&2
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   189
  else
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   190
    mkdir document || fail "Bad directory: $PWD/document"
10423
4fd0ce4a38bc fixed \title: convert "_" to "-";
wenzelm
parents: 10353
diff changeset
   191
    TITLE=$(echo "$NAME" | tr _ -)
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   192
    cat >document/root.tex <<EOF
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   193
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   194
\documentclass[11pt,a4paper]{article}
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   195
\usepackage{isabelle,isabellesym,pdfsetup}
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   196
10021
6d5d618b302c best-style made default;
wenzelm
parents: 9788
diff changeset
   197
%for best-style documents ...
6d5d618b302c best-style made default;
wenzelm
parents: 9788
diff changeset
   198
\urlstyle{rm}
6d5d618b302c best-style made default;
wenzelm
parents: 9788
diff changeset
   199
\isabellestyle{it}
9656
a3d868043c49 %\urlstyle{rm}
wenzelm
parents: 9237
diff changeset
   200
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   201
\begin{document}
10353
b1b3f25750f4 tuned tex template;
wenzelm
parents: 10308
diff changeset
   202
10423
4fd0ce4a38bc fixed \title: convert "_" to "-";
wenzelm
parents: 10353
diff changeset
   203
\title{$TITLE}\maketitle
10308
c50fc8023ac0 make sure default document works;
wenzelm
parents: 10021
diff changeset
   204
\tableofcontents
10353
b1b3f25750f4 tuned tex template;
wenzelm
parents: 10308
diff changeset
   205
b1b3f25750f4 tuned tex template;
wenzelm
parents: 10308
diff changeset
   206
\parindent 0pt\parskip 0.5ex
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   207
\input{session}
10353
b1b3f25750f4 tuned tex template;
wenzelm
parents: 10308
diff changeset
   208
b1b3f25750f4 tuned tex template;
wenzelm
parents: 10308
diff changeset
   209
%\bibliographystyle{plain}
b1b3f25750f4 tuned tex template;
wenzelm
parents: 10308
diff changeset
   210
%\bibliography{root}
b1b3f25750f4 tuned tex template;
wenzelm
parents: 10308
diff changeset
   211
8159
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   212
\end{document}
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   213
EOF
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   214
  fi
64c272504383 mkdir: prepare logic session directory;
wenzelm
parents:
diff changeset
   215
fi