2022-12-01 16:25:05 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
set -eu
|
|
|
|
|
. "$(dirname "$0")/sub/lib.sh"
|
|
|
|
|
cd -- "$(dirname "$0")/.."
|
|
|
|
|
|
2022-12-01 17:37:20 +00:00
|
|
|
if is_changed README.md; then
|
|
|
|
|
sh_c tocsubst --skip 1 README.md
|
|
|
|
|
fi
|
2022-12-01 20:59:53 +00:00
|
|
|
if is_changed docs/INSTALL.md; then
|
|
|
|
|
sh_c tocsubst --skip 1 docs/INSTALL.md
|
|
|
|
|
fi
|
2022-12-01 16:25:05 +00:00
|
|
|
./ci/sub/fmt/make.sh
|