diff --git a/.gitignore b/.gitignore
index 86c8760466..1e72c94544 100644
--- a/.gitignore
+++ b/.gitignore
@@ -85,6 +85,7 @@ dune-workspace
 # gobview
 run/
 gobview_out/*
+gobview_dist/*
 
 # witnesses
 witness.yml
diff --git a/make.sh b/make.sh
index 8137368f6f..80143a7034 100755
--- a/make.sh
+++ b/make.sh
@@ -38,8 +38,8 @@ rule() {
       dune build gobview &&
       rm -f goblint-http &&
       cp ./_build/default/gobview/goblint-http-server/goblint_http.exe goblint-http &&
-      mkdir -p run &&
-      cp -R ./_build/default/gobview/dist/* ./run/
+      mkdir -p gobview_dist &&
+      cp -R ./_build/default/gobview/dist/* ./gobview_dist/
     # alternatives to .exe: .bc (bytecode), .bc.js (js_of_ocaml), see https://dune.readthedocs.io/en/stable/dune-files.html#executable
     ;; js) # https://dune.readthedocs.io/en/stable/jsoo.html
       dune build $TARGET.bc.js &&