1 files changed, 9 insertions, 0 deletions
diff --git a/docs/copy-to-ide b/docs/copy-to-ide
new file mode 100755
index 0000000..6cd4bdd
--- /dev/null
+++ b/docs/copy-to-ide
@@ -0,0 +1,9 @@
+#!/bin/sh
+
+IDE_DIRECTORY=$1
+
+REFERENCE=$IDE_DIRECTORY/build/shared/reference
+
+echo copying built docs...
+cp -R build/html/* $REFERENCE
+echo done