Raise an error if the docs cannot be built.

- Fix the date in the PDF format

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 ..