lib/Tools/install
changeset 7887 eedfff88ee40
parent 6545 a8a235a8a4a3
child 7934 42836b6c4c73
     1.1 --- a/lib/Tools/install	Wed Oct 20 11:05:06 1999 +0200
     1.2 +++ b/lib/Tools/install	Wed Oct 20 11:05:38 1999 +0200
     1.3 @@ -13,7 +13,8 @@
     1.4    echo "Usage: $PRG [OPTIONS]"
     1.5    echo
     1.6    echo "  Options are:"
     1.7 -  echo "    -d DISTDIR   refer to DISTDIR as Isabelle distribution (default ISABELLE_HOME)"
     1.8 +  echo "    -d DISTDIR   refer to DISTDIR as Isabelle distribution"
     1.9 +  echo "                 (default ISABELLE_HOME)"
    1.10    echo "    -k           install KDE application icon on Desktop"
    1.11    echo "    -p DIR       install standalone binaries in DIR"
    1.12    echo