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