[build] Avoiding nested directory

diemol · diemol · commit 38b780fbb24e · 2022-05-12T15:32:11.000+02:00
diff --git a/generate_web_code.sh b/generate_web_code.sh
@@ -1,8 +1,7 @@
 #!/usr/bin/env bash
 
 # copy website to build
-mkdir build/web
-cp -R common/src/web build/web
+cp -R common/src/web build
 
 # switch to gh-pages and copy the files
 git checkout gh-pages || exit
