lib/Tools/mkdir
changeset 8199 9e45cf2e6cf7
parent 8198 73a5877ca517
child 8211 714f164f0385
     1.1 --- a/lib/Tools/mkdir	Sat Feb 05 16:59:50 2000 +0100
     1.2 +++ b/lib/Tools/mkdir	Sat Feb 05 17:06:27 2000 +0100
     1.3 @@ -21,7 +21,7 @@
     1.4    echo "    -p           include parent logic target"
     1.5    echo
     1.6    echo "  Prepare session directory, including IsaMakefile, document etc."
     1.7 -  echo "  with parent LOGIC (default \$ISABELLE_LOGIC=$ISABELLE_LOGIC)"
     1.8 +  echo "  with parent LOGIC (default ISABELLE_LOGIC=$ISABELLE_LOGIC)"
     1.9    echo
    1.10    exit 1
    1.11  }