Do not ignore errors when generating documentation.

This will ensure documentation is actually generated when building
release tarballs.

diff --git a/doc/update.sh b/doc/update.sh
index 1994eb3a76f71b381a8d77dce9de76718010226e..1038da133f776deef2b2aa76acfe05ec4e11c8b5 100755 (executable)
--- a/doc/update.sh
+++ b/doc/update.sh
@@ -1,5 +1,7 @@
 #!/bin/sh
 
+set -e
+
 #
 # Simple script to repopulate the 'doc' tree from
 # the mdoc man pages stored in each project.