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 | |
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
-rwxr-xr-x | rtems-release-defaults | 1 | ||||
-rwxr-xr-x | rtems-release-docs | 8 |
2 files changed, 7 insertions, 2 deletions
diff --git a/rtems-release-defaults b/rtems-release-defaults index 8a03a49..f592f8a 100755 --- a/rtems-release-defaults +++ b/rtems-release-defaults @@ -60,6 +60,7 @@ comp_tar=J rtems_examples=yes rtems_libbsd=yes rtems_docs=yes +rtems_docs_required=yes rtems_docs_build=sphinx rtems_release_info_html=no rtems_release_notes=yes 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 .. |