Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision b0150359632ccc35a2d2b7b67d6f7ea798d9baa6)
+++ Jenkinsfile	(revision ca35c51743c5aa90ec6fd8bc56f12cfc866101ff)
@@ -188,4 +188,7 @@
 				cfa_build(doPromoteBuild2DoLang)
 
+				//Compile latex documentation
+				doc_build()
+
 				if( doPromoteBuild2DoLang ) {
 					//Compile using gcc-5
@@ -196,10 +199,6 @@
 					currentCC = new CC_Desc('gcc-6', 'g++-6', 'gcc-6')
 					cfa_build(true)
-				}
-
-				//Compile latex documentation
-				doc_build()
-
-				if( doPromoteBuild2DoLang ) {
+
+					//Push latest changes to do-lang repo
 					push_build()
 				}