lib/Tools/mkroot
changeset 48683 eeb4480b5877
parent 48682 162579d4ba15
child 48739 3a6c03b15916
     1.1 --- a/lib/Tools/mkroot	Sun Aug 05 16:20:34 2012 +0200
     1.2 +++ b/lib/Tools/mkroot	Sun Aug 05 20:11:32 2012 +0200
     1.3 @@ -143,7 +143,7 @@
     1.4  fi
     1.5  
     1.6  cat >> "$DIR/ROOT" <<EOF
     1.7 -session "$NAME" = "$ISABELLE_LOGIC" +
     1.8 +session "$NAME"! = "$ISABELLE_LOGIC" +
     1.9    options [document = $ISABELLE_DOC_FORMAT]
    1.10    theories "Ex"
    1.11    files "document/root.tex"
    1.12 @@ -152,19 +152,25 @@
    1.13  
    1.14  # notes
    1.15  
    1.16 +if [ "$DIR" = . ]; then
    1.17 +  OPT_DIR="-d."
    1.18 +else
    1.19 +  OPT_DIR="-d \"$DIR\""
    1.20 +fi
    1.21 +
    1.22  cat <<EOF
    1.23  
    1.24  Notes:
    1.25  
    1.26 -  * $DIR_NAME/Ex.thy contains an example theory
    1.27 +  * $DIR_NAME/Ex.thy contains an example theory.
    1.28  
    1.29 -  * $DIR_NAME/document/root.tex contains the LaTeX master document setup
    1.30 +  * $DIR_NAME/document/root.tex contains the LaTeX master document setup.
    1.31  
    1.32 -  * $DIR/ROOT contains build options, theories and extra file dependencies
    1.33 +  * $DIR/ROOT contains build options, theories and extra file dependencies.
    1.34  
    1.35 -  * the following command line builds the session (with document):
    1.36 +  * The following command line builds the session (with document):
    1.37  
    1.38 -      isabelle build -v -d $DIR ${ISABELLE_LOGIC}-${NAME}
    1.39 +      isabelle build -v $OPT_DIR $NAME
    1.40  
    1.41  EOF
    1.42