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-defaults | |
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-defaults')
-rwxr-xr-x | rtems-release-defaults | 1 |
1 files changed, 1 insertions, 0 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 |