diff --git a/dune b/dune
index d509b3c..4c4582d 100644
--- a/dune
+++ b/dune
@@ -3,7 +3,9 @@
  (target dist)
  (deps src/App.bc.js goblint-http-server/goblint_http.exe node_modules webpack.config.js)
  (action
-  (run npx webpack build)))
+  (progn
+   (run npx webpack build)
+   (system "mkdir -p ../../../gobview/_dist && cp -f ./dist/* ../../../gobview/_dist/"))))
 
 (rule
  (targets node_modules)
diff --git a/goblint-http-server/dune b/goblint-http-server/dune
index 6b78d44..55f78c1 100644
--- a/goblint-http-server/dune
+++ b/goblint-http-server/dune
@@ -1,6 +1,7 @@
 (executable
  (name goblint_http)
  (public_name goblint-http)
+ (promote (until-clean) (into ../..))
  (libraries
   batteries.unthreaded
   cohttp