From b9405bf033d7fe2effe084853405bf3a64712ff2 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 8 Jan 2019 21:20:17 +0000
Subject: [PATCH] Only register AFP components if they are not already
 registered.

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

diff --git a/install b/install
index 9c283df..89d5247 100755
--- a/install
+++ b/install
@@ -98,7 +98,7 @@ check_afp_entries() {
         if curl -s -L $AFP_URL | tar zxf - -C .afp $extract; then 
             for e in $missing; do 
                 echo "           Registering $e in $ISABELLE_HOME_USER/ROOTS"
-                echo "$PWD/.afp/afp-2018-08-14/thys/$e" >> $ISABELLE_HOME_USER/ROOTS 
+		grep -q $PWD/.afp/afp-2018-08-14/thys/$e || echo "$PWD/.afp/afp-2018-08-14/thys/$e" >> $ISABELLE_HOME_USER/ROOTS 
             done
             echo "           AFP installation successful."
         else