Skip to content

Commit 10410b6

Browse files
added release scripts
1 parent 1e3ba21 commit 10410b6

File tree

2 files changed

+460
-0
lines changed

2 files changed

+460
-0
lines changed

make_dist.sh

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
#/bin/bash
2+
3+
base_dir="$PWD"
4+
5+
./release --srcdir ${base_dir} --webdir ${base_dir}/gh-pages --update-file ${base_dir}/gh-pages/update.g $@

0 commit comments

Comments
 (0)