From f51ee34681541172d5b76775533d2d0c72ebbdb8 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Mon, 21 Mar 2022 08:47:05 +0000
Subject: [PATCH] Register Isabelle/DOF as proper component.

---
 install | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/install b/install
index eba4c3e..01df87a 100755
--- a/install
+++ b/install
@@ -189,8 +189,7 @@ install_and_register(){
     sed -i -e "s|<isadofurl>|$DOF_URL|" $ISABELLE_HOME_USER/DOF/*/*
     LTX_VERSION="$DATE $DOF_VERSION/$ISABELLE_SHORT_VERSION"
     sed -i -e "s|<isadofltxversion>|$LTX_VERSION|" $ISABELLE_HOME_USER/DOF/*/*
-    touch $ISABELLE_HOME_USER/ROOTS
-    grep -q $PWD'$' $ISABELLE_HOME_USER/ROOTS || echo "$PWD" >> $ISABELLE_HOME_USER/ROOTS 
+    $ISABELLE components -u $PWD    
 }