Add newly generated html files by GitHub Actions.

Author: TobiasNx

getting-started.html

@@ -91,7 +91,7 @@
          | 
         <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;

ide-extensions/index.html

@@ -29,7 +29,7 @@
          | 
         <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;

index.html

@@ -29,7 +29,7 @@
          | 
         <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;