diff options
Diffstat (limited to '')
-rwxr-xr-x | bin/build-extra-dist.sh | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/bin/build-extra-dist.sh b/bin/build-extra-dist.sh new file mode 100755 index 0000000..3c76312 --- /dev/null +++ b/bin/build-extra-dist.sh @@ -0,0 +1,26 @@ +#!/usr/bin/env bash +# +# Script to build lists of extra dist files by category. +# Output of this script should go into Makefile.am at the project root. + +function print_list() +{ + local _DIR=$1 + local _NAME=$_DIR"_data" + + echo "$_NAME = \\" + local _BASE_CMD="git ls-tree --full-tree --name-only -r HEAD -- $_DIR" + $_BASE_CMD | sed -e 's/\#/\\\#/g' | head -n -1 | sed -e 's/^/\t/g' -e 's/$/\ \\/g' + $_BASE_CMD | sed -e 's/\#/\\\#/g' | tail -n 1 | sed -e 's/^/\t/g' + echo "" +} + +PROGDIR=`dirname $0` +cd "../$PROGDIR" + +print_list doc +print_list doc_example +print_list bin +print_list misc +print_list slickedit +print_list test |