diff options
Diffstat (limited to 'link-docs.sh')
| -rwxr-xr-x | link-docs.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/link-docs.sh b/link-docs.sh deleted file mode 100755 index 2d39f496..00000000 --- a/link-docs.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/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 |