diff options
Diffstat (limited to 'rtems-release-docs')
-rwxr-xr-x | rtems-release-docs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rtems-release-docs b/rtems-release-docs index ff3d4d7..bb57958 100755 --- a/rtems-release-docs +++ b/rtems-release-docs @@ -35,9 +35,9 @@ echo "RTEMS Documentation Release builder, v0.1" # -# Stop on any error +# Defaults. # -set -e +. ${release_top}/rtems-release-defaults # # Only build if sphinx-build is present on the system. |