From 8148b7fc381880c8a49eb4dbd9a6882f90787195 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 20 Jul 2019 22:00:40 +0100
Subject: [PATCH] Improved help message.

---
 install | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/install b/install
index 63aa5a9..321b999 100755
--- a/install
+++ b/install
@@ -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)"
 }