summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorChris Johns <chrisj@rtems.org>2020-04-28 15:17:11 +1000
committerChris Johns <chrisj@rtems.org>2020-04-28 15:17:11 +1000
commit158da70322fb3c4d8bc0f444e6bfd07fb2832495 (patch)
treeb781b88fcf251da8e5883bbd5d99db3e6f0e5268
parent3cd2246410314fc715edf258a689076c9e3371dc (diff)
downloadrtems-release-158da70322fb3c4d8bc0f444e6bfd07fb2832495.tar.bz2
Use the correct version in the built documentation.
Closes #3810
-rwxr-xr-xrtems-release-docs4
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 ..