Build the documentation as a Docker image

2018-09-28 10:41:17 +02:00
parent 69c19dca55
commit 339b3c1b24
5 changed files with 15 additions and 33 deletions
--- a/docs/nginx.conf
+++ b/docs/nginx.conf
@@ -0,0 +1,5 @@
+server {
+    listen 80;
+    listen [::]:80;
+    root /build;
+}