Diff of /html-distribution.sh [85483d] .. [babd45]  Maximize  Restore

Switch to side-by-side view

--- a/html-distribution.sh
+++ b/html-distribution.sh
@@ -1,4 +1,5 @@
+set -e
 # Create a distribution containing the HTML versions of system
 # documentation. (make-doc.sh needs to be run first, in order to

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks