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