diff --git a/set_version.sh b/set_version.sh new file mode 100644 index 0000000..3ecb147 --- /dev/null +++ b/set_version.sh @@ -0,0 +1,13 @@ +#!/bin/bash + +if [[ $# -ne 1 ]]; then + echo "Usage: $0 " + exit 1 +fi + +SEMVER="$1" + +# Update all *.toc files +sed -i -E "s/^(## Version: ).*/\1$SEMVER/" ./*.toc + +echo "Updated all .toc files with version $SEMVER"