From a883207b885ce3d20b6fbeda49c3da2d73cea4d7 Mon Sep 17 00:00:00 2001
From: stilscher <66023521+stilscher@users.noreply.github.com>
Date: Thu, 2 Nov 2023 16:54:16 +0100
Subject: [PATCH] copy gobview distribution files to gobview_dist

---
 .gitignore | 1 +
 make.sh    | 4 ++--
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 86c8760466b..1e72c945444 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 8137368f6fe..80143a7034e 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 &&