From bbba8f30be13ac35b93c2f5023767aa788f597b9 Mon Sep 17 00:00:00 2001
From: Rodrigo V Honorato <r.vargashonorato@uu.nl>
Date: Thu, 21 Nov 2024 14:05:35 +0100
Subject: [PATCH] linting

---
 example/haddock3.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/example/haddock3.sh b/example/haddock3.sh
index ad4c787..4069444 100755
--- a/example/haddock3.sh
+++ b/example/haddock3.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 #===============================================================================
 
-$HOME/repos/haddock-runner/.venv/bin/haddock3 "$@"
+"$HOME"/repos/haddock-runner/.venv/bin/haddock3 "$@"
 
 #===============================================================================