Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision fd6d74e83a6784a55081be86ccbb40eb39c37136)
+++ Jenkinsfile	(revision 3f09a7056cd27799ac5df8b47fd9b530ce2ff616)
@@ -17,4 +17,5 @@
 	do_doc		= false
 	do_publish		= false
+	do_sendemail	= true
 
 	currentBuild.result = "SUCCESS"