Index: /issm/trunk-jpl/jenkins/jenkins.sh
===================================================================
--- /issm/trunk-jpl/jenkins/jenkins.sh	(revision 20974)
+++ /issm/trunk-jpl/jenkins/jenkins.sh	(revision 20975)
@@ -51,6 +51,6 @@
 	#Process html page and get the list of files that has changed (tricky...)
 	#cat changes | grep '="The file was modified"' | sed -e 's/.*<\/td><td><a>\(.*\)<\/a><\/td><td>.*/\1/' > $ISSM_DIR/TEMP
-	cat changes | grep 'alt="The file was modified"' |sed -e 's/alt="The file was modified"/\
-		      /g' | sed -e 's/.*<\/a><\/td><td>\(.*\)<\/td><\/tr>.*/\1/' | grep -v '"The file was modified"' > $ISSM_DIR/TEMP
+	cat changes | grep 'document_edit' |sed -e 's/document_edit.png/document_edit.png\
+		/g' | sed -e 's/.*<\/a><\/td><td>\(.*\)<\/td><\/tr>.*/\1/' | grep -v 'document_edit.png' > $ISSM_DIR/TEMP
 
 	#Print list of files
@@ -92,5 +92,5 @@
 		ISSM_COMPILATION="no"
 	fi
-	ISSM_COMPILATION="yes"
+	#ISSM_COMPILATION="yes"
 
 else