--- a/lib/Tools/doc Wed Nov 22 21:38:26 2000 +0100 +++ b/lib/Tools/doc Wed Nov 22 21:41:39 2000 +0100 @@ -7,7 +7,7 @@ # DESCRIPTION: view Isabelle documentation -PRG=$(basename "$0") +PRG="$(basename "$0")" function usage() {