From 70cb9e8a94cdee4d46edc8adb86daa577bb940c7 Mon Sep 17 00:00:00 2001
From: Florian Schmaus <flo@geekplace.eu>
Date: Tue, 27 Apr 2021 17:01:30 +0200
Subject: [PATCH] [resources] Use realpath instead of readlink in
 fix-java-javadoc.sh

---
 resources/fix-a-javadoc.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/fix-a-javadoc.sh b/resources/fix-a-javadoc.sh
index d66a05eee..eaac0c886 100755
--- a/resources/fix-a-javadoc.sh
+++ b/resources/fix-a-javadoc.sh
@@ -15,7 +15,7 @@ cd "`dirname "${SCRIPTDIR}"`" > /dev/null
 SCRIPTDIR="`pwd`";
 popd  > /dev/null
 
-SMACK_DIR=$(readlink "${SCRIPTDIR}"/..)
+SMACK_DIR=$(realpath "${SCRIPTDIR}"/..)
 
 FIND_ALL_JAVA_SRC="find ${SMACK_DIR} \
 	 -type f \