From 22057a59a0c5720c577b92700265fcb27ef792c4 Mon Sep 17 00:00:00 2001
From: TobiasNx <61879957+TobiasNx@users.noreply.github.com>
Date: Tue, 9 Apr 2024 21:36:36 +0200
Subject: [PATCH] Change URL for Documentation

Use the github pages url instead of the repo url.
---
 navigation.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/navigation.html b/navigation.html
index d75464e..261bf2b 100644
--- a/navigation.html
+++ b/navigation.html
@@ -7,7 +7,7 @@
         &ensp;|&ensp;
         <a href="/getting-started.html">Getting started</a>
         &ensp;|&ensp;
-        <a href="https://github.com/metafacture/metafacture-documentation">Documentation</a>
+        <a href="http://metafacture.github.io/metafacture-documentation/">Documentation</a>
         &ensp;|&ensp;
         <a href="/ide-extensions/index.html">IDE Extensions</a>
         &ensp;|&ensp;