From ecddea445ee851d77af0ee40638d03c5b832e211 Mon Sep 17 00:00:00 2001
From: Nils <>
Date: Sun, 5 Apr 2020 01:32:37 +0200
Subject: [PATCH] establish documentation directory so that website build
 script works

---
 documentation/out/index.html | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 documentation/out/index.html

diff --git a/documentation/out/index.html b/documentation/out/index.html
new file mode 100644
index 0000000..1d716ef
--- /dev/null
+++ b/documentation/out/index.html
@@ -0,0 +1 @@
+not yet