From 0d496ccc84c940fcc7fd7f07a672ddd65924d704 Mon Sep 17 00:00:00 2001
From: Daniel_Doehring <daniel.doehring@rwth-aachen.de>
Date: Mon, 5 Feb 2024 17:23:44 +0100
Subject: [PATCH] dot

---
 docs/src/index.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/src/index.md b/docs/src/index.md
index 62ff6a07fb5..bf0bca5bee5 100644
--- a/docs/src/index.md
+++ b/docs/src/index.md
@@ -113,7 +113,7 @@ julia --project=.
 if already inside the `run` directory.
 If you encounter errors executing `julia --project=. -e 'using Pkg; Pkg.develop(PackageSpec(path=".."))'`
 it might help to update the packages first:
-`julia --project=. -e 'using Pkg; Pkg.update()'`
+`julia --project=. -e 'using Pkg; Pkg.update()'`.
 
 The advantage of using a separate `run` directory is that you can also add other
 related packages (see below, e.g., for time integration or visualization) to the