diff options
Diffstat (limited to 'ast/prepare_docs')
-rwxr-xr-x | ast/prepare_docs | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/ast/prepare_docs b/ast/prepare_docs deleted file mode 100755 index 8fc0358..0000000 --- a/ast/prepare_docs +++ /dev/null @@ -1,16 +0,0 @@ - -AST_DEV=$PWD -export AST_DEV - -AST_REF=$PWD -export AST_REF - -chmod +x ./getnewversion -./getnewversion -AST_VERSION="`cat ./version.number`" -echo "AST_VERSION $AST_VERSION" -export AST_VERSION - -( - builddocs -) 2>&1 | tee ~/ast_release.log |