chore(docs): re-skin main documentation

1 files changed, 17 insertions, 0 deletions

diff --git a/link-docs.sh b/link-docs.sh
new file mode 100755
index 00000000..2d39f496
--- /dev/null
+++ b/link-docs.sh
@@ -0,0 +1,17 @@
+#!/bin/sh
+
+./gen_docs.sh
+
+rm build/docs/index.html
+rm -rf build/docs/css
+rm -rf build/docs/js
+rm -rf build/docs/img
+rm -rf build/docs/examples
+
+cd build/docs
+
+ln -s ../../docs/src/templates/index.html
+ln -s ../../docs/src/templates/css
+ln -s ../../docs/src/templates/js
+ln -s ../../docs/img
+ln -s ../../docs/examples