diff options
| author | Chris Johns <chrisj@rtems.org> | 2020-04-28 15:17:11 +1000 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2020-04-28 15:17:11 +1000 |
| commit | 158da70322fb3c4d8bc0f444e6bfd07fb2832495 (patch) | |
| tree | b781b88fcf251da8e5883bbd5d99db3e6f0e5268 | |
| parent | kernel: Update the README with release details. (diff) | |
| download | rtems-release-158da70322fb3c4d8bc0f444e6bfd07fb2832495.tar.bz2 | |
Use the correct version in the built documentation.
Closes #3810
| -rwxr-xr-x | rtems-release-docs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rtems-release-docs b/rtems-release-docs index f23e91d..01b6953 100755 --- a/rtems-release-docs +++ b/rtems-release-docs @@ -90,7 +90,7 @@ cd ${prefix} # This is a hack until I add support for the VERSION file created below. # echo "Creating VERSION: ${release}" - if [ ${version} -le 5 ]; then + if [ ${version} -lt 5 ]; then cat wscript | \ sed -e "s/^version[[:space:]].*=.*$/version = '${release}'/g" > wscript.tmp rm -f wscript @@ -107,7 +107,7 @@ cd ${prefix} *) d=${d}th ;; esac now=$(date +"%d${d} %B %Y") - echo "date = %{now}" >> VERSION + echo "date = ${now}" >> VERSION fi cd .. |