Improved help message.
Isabelle_DOF/Isabelle_DOF/master There was a failure building this commit Details

This commit is contained in:
Achim D. Brucker 2019-07-20 22:00:40 +01:00
parent 6fd22a071f
commit 8148b7fc38
1 changed files with 2 additions and 2 deletions

View File

@ -47,8 +47,8 @@ print_help()
echo " --isabelle, -i isabelle isabelle command used for installation"
echo " (default: $ISABELLE)"
echo " --skip-patch-and-afp, -s skip installation of Isabelle/DOF patch for"
echo " Isabelle and required AFP entries. USE AT"
echo " YOUR OWN RISK (default: $SKIP)"
echo " Isabelle and required AFP entries. "
echo " USE AT YOUR OWN RISK (default: $SKIP)"
}