Update jenkins.doc