Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 0a346e5b1f41b0e00b408740704c993b0224be63)
+++ Jenkinsfile	(revision 18e275825225645791bacfd5b882cee08d8309c0)
@@ -46,4 +46,18 @@
 }
 
+def doc_build() {
+	build_stage 'Documentation'
+
+		dir ('doc/user') {
+			sh 'make clean'
+			sh 'make'
+		}
+
+		dir ('doc/refrat') {
+			sh 'make clean'
+			sh 'make'
+		}
+}
+
 def push_build() {
 	//Don't use the build_stage function which outputs the compiler
@@ -126,5 +140,5 @@
 	try {
 		//Prevent the build from exceeding 30 minutes
-		timeout(30) {
+		timeout(60) {
 
 			//Wrap build to add timestamp to command line
@@ -159,4 +173,7 @@
 				cfa_build(doPromoteBuild2DoLang)
 
+				//Compile latex documentation
+				doc_build()
+
 				if( doPromoteBuild2DoLang ) {
 					push_build()