Updated jenkinsfile to email to the dev list if a build fails
diff --git a/Jenkinsfile b/Jenkinsfile
index 9d8a31a..3b99034 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -48,7 +48,6 @@
 		}
 		stage('Build-Site') {
 			steps {
-				bat "set"
 				bat "${NAnt} -buildfile:log4net.build generate-site"
 			}
 		}
@@ -63,9 +62,7 @@
 	}
 	post {
 		failure {
-			echo 'Failed build'
-			// TODO: send email as soon as the entire building is more stable
-			//step([$class: 'Mailer', notifyEveryUnstableBuild: false, recipients: 'dev@logging.apache.org'])
+			step([$class: 'Mailer', notifyEveryUnstableBuild: false, recipients: 'dev@logging.apache.org'])
 		}
 	}
 }