From 3942c650fd8883985e4433c75f42ddfe6ef33a4e Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Fri, 2 Aug 2019 23:57:15 +0100
Subject: [PATCH] Register Isabelle/DOF as Isabelle component.

---
 install | 1 +
 1 file changed, 1 insertion(+)

diff --git a/install b/install
index 7f34db8..a7d336f 100755
--- a/install
+++ b/install
@@ -197,6 +197,7 @@ install_and_register(){
         echo 'ISABELLE_TOOLS=$ISABELLE_TOOLS:$ISABELLE_HOME_USER/DOF/Tools' \
              >> "$DIR/settings"
     fi
+    grep -q $PWD\$ $ISABELLE_HOME_USER/ROOTS || echo "$PWD" >> $ISABELLE_HOME_USER/ROOTS 
 }