(function() {
var toc =  [{"type":"item","name":"Introduction","url":"buildhelp/builder_integration_jenkins/jenkins_introduction.htm"},{"type":"book","name":"Example: Installing Jenkins","key":"toc56","url":"buildhelp/builder_integration_jenkins/installing_jenkins.htm"},{"type":"book","name":"Configuring Jenkins System Properties","key":"toc57","url":"buildhelp/builder_integration_jenkins/configure_jenkins_system_properties.htm"}];
window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });
})();