Skip to content

Commit 8ad757a

Browse files
authored
Merge pull request #46 from mohamed-barakat/release
added release scripts
2 parents 1e3ba21 + 10410b6 commit 8ad757a

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)