diff options
author | Andres Mejia <amejia004@gmail.com> | 2013-02-02 18:42:30 -0500 |
---|---|---|
committer | Andres Mejia <amejia004@gmail.com> | 2013-02-02 18:43:09 -0500 |
commit | 66648f8c3fa01d39fe3a24551c19d6fa20250c9a (patch) | |
tree | 30480df12c97c5a7f5e18abe0271b3a1d2be6ae2 | |
parent | 9fe06744b427eedfa4f0a38ed80e8465e17d6fe7 (diff) | |
download | libarchive-66648f8c3fa01d39fe3a24551c19d6fa20250c9a.tar.gz |
Do not ignore errors when generating documentation.
This will ensure documentation is actually generated when building
release tarballs.
-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. |