diff options
| -rwxr-xr-x | aux/ci/ci-build.sh | 2 | ||||
| -rwxr-xr-x | aux/workflow/README.sh | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh index c891d3b..bff1216 100755 --- a/aux/ci/ci-build.sh +++ b/aux/ci/ci-build.sh @@ -42,7 +42,7 @@ EOF fi if [ -f ./bootstrap ]; then - COMMAND='./bootstrap && ./configure --enable-programmer-mode --enable-ci-mode && make clean all check distcheck public' + COMMAND='./bootstrap && ./configure && make clean all check distcheck public' else COMMAND='make clean check public' fi diff --git a/aux/workflow/README.sh b/aux/workflow/README.sh index 49b1e8d..f9e7f52 100755 --- a/aux/workflow/README.sh +++ b/aux/workflow/README.sh @@ -5,6 +5,7 @@ mkdir -p public PROJECT_UC="$1" PROJECT="$2" +README="${3:-README.md}" RELEASES_LIST="$(mktemp)" for version in $(git tag); do @@ -17,7 +18,7 @@ if [ -s "$RELEASES_LIST" ]; then cat "$RELEASES_LIST" >> "$RELEASES" fi -cat README.md "$RELEASES" | \ +cat "$README" "$RELEASES" | \ pandoc --toc \ --highlight-style pygments \ --toc-depth=2 \ |