Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 18e275825225645791bacfd5b882cee08d8309c0)
+++ Jenkinsfile	(revision 738cf8f3cf44716f347c8634dc13e02d0c982bcd)
@@ -46,15 +46,36 @@
 }
 
+def make_doc() {
+	def err = null
+
+	try {
+		sh 'make clean > /dev/null'
+		sh 'make > /dev/null 2>&1'
+	}
+
+	catch (Exception caughtError) {
+		//rethrow error later
+		err = caughtError
+
+		sh 'cat *.log'
+	}
+
+	finally {
+		/* Must re-throw exception to propagate error */
+		if (err) {
+			throw err
+		}
+	}
+}
+
 def doc_build() {
 	build_stage 'Documentation'
 
 		dir ('doc/user') {
-			sh 'make clean'
-			sh 'make'
+			make_doc()
 		}
 
 		dir ('doc/refrat') {
-			sh 'make clean'
-			sh 'make'
+			make_doc()
 		}
 }