From 44819bff0238b7300894f814f208db2e2a19e800 Mon Sep 17 00:00:00 2001
From: Makarius <makarius@sketis.net>
Date: Thu, 1 Dec 2022 12:44:03 +0100
Subject: [PATCH] Updated message, following c29ec9641ad7

---
 install-afp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install-afp b/install-afp
index 69458386..74812c77 100755
--- a/install-afp
+++ b/install-afp
@@ -157,7 +157,7 @@ if [ ${ISABELLE_VERSION} = "Isabelle" ];
 then
    echo "Error: cannot find Isabelle/DOF configuration, please check that you"
    echo "       registered Isabelle/DOF as an Isabelle component, e.g., using" 
-   echo "       isabelle components -u $PWD"
+   echo "       isabelle components -u ."
    exit 1
 fi