diff options
author | Chris Johns <chrisj@rtems.org> | 2020-06-04 11:33:12 +1000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2020-06-04 11:33:12 +1000 |
commit | 4dcc279a0ea7701b290a16a1cfde9ceb7159ae32 (patch) | |
tree | 83689c4eaf72823d5aab73e9232c47b16afb5883 /rtems-release-docs | |
parent | Fix URL paths in a number places (diff) | |
download | rtems-release-4dcc279a0ea7701b290a16a1cfde9ceb7159ae32.tar.bz2 |
Raise an error if the docs cannot be built.
- Fix the date in the PDF format
Diffstat (limited to 'rtems-release-docs')
-rwxr-xr-x | rtems-release-docs | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/rtems-release-docs b/rtems-release-docs index 01b6953..58efcfc 100755 --- a/rtems-release-docs +++ b/rtems-release-docs @@ -46,7 +46,11 @@ echo "RTEMS Documentation Release builder, v${rtems_release_version}" # Only build if sphinx-build is present on the system. # if [ "`command -v sphinx-build`"no = no ]; then - echo "warning: documentation not built" + if [ ${rtems_docs_required} = yes ]; then + echo "error: cannot find sphinx to build documentation" + else + echo "warning: documentation not built" + fi exit 0 fi @@ -106,7 +110,7 @@ cd ${prefix} *3) d=${d}rd ;; *) d=${d}th ;; esac - now=$(date +"%d${d} %B %Y") + now=$(date +"${d} %B %Y") echo "date = ${now}" >> VERSION fi cd .. |