add VILLAS documentation to demo setup

docker-compose.yml

@@ -43,6 +43,7 @@ services:
      - backend
      - frontend
      - relay
+     - doc
     restart: always
 
   # The MongoDB database for the VILLASweb backend
@@ -112,3 +113,10 @@ services:
     depends_on:
       - broker
     restart: always
+
+  # VILLAS Documentation
+  doc:
+    build:
+      context: doc
+    image: registry.git.rwth-aachen.de/acs/public/villas/demo/documentation
+    restart: always

etc/nginx/default.conf

@@ -59,6 +59,10 @@ server {
     proxy_pass http://backend:4000/public;
   }
 
+  location /doc {
+    proxy_pass http://doc/doc;
+  }
+
   location /ws/api {
     proxy_pass http://node/api;
   }