diff options
Diffstat (limited to 'doc')
-rwxr-xr-x | doc/update.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/update.sh b/doc/update.sh index 1994eb3a..1038da13 100755 --- 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. |