diff options
Diffstat (limited to 'publish-release.sh')
| -rwxr-xr-x | publish-release.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/publish-release.sh b/publish-release.sh index 741b17b..76c21d3 100755 --- a/publish-release.sh +++ b/publish-release.sh @@ -10,7 +10,7 @@ version="$(basename "$dir")" mkdir "$dir" xz -0vT0 <"$img" >"$dir/v-i.img.xz" cp configure-installer write-and-config.sh "$dir/" -for file in NEWS.md README.md tutorial.md; do +for file in NEWS.md README.md tutorial.md spec.md; do sed "s/VERSION/$version/" "$file" >tmp.md pandoc tmp.md -o "$dir/$(basename "$file" .md).html" rm tmp.md |