[rtems-release commit] Raise an error if the docs cannot be built.

[Chris Johns]

Module:    rtems-release
Branch:    master
Commit:    4dcc279a0ea7701b290a16a1cfde9ceb7159ae32
Changeset: http://git.rtems.org/rtems-release/commit/?id=4dcc279a0ea7701b290a16a1cfde9ceb7159ae32

Author:    Chris Johns <chrisj at rtems.org>
Date:      Thu Jun  4 11:33:12 2020 +1000

Raise an error if the docs cannot be built.

- Fix the date in the PDF format

---

 rtems-release-defaults | 1 +
 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 ..