diff --git a/build.sh b/build.sh
new file mode 100755
index 0000000000..d5615116c4
--- /dev/null
+++ b/build.sh
@@ -0,0 +1,3 @@
+hotdoc run
+cp -R attachments built_doc/html/
+cp -R images built_doc/html/