Move make_release.sh to build.sh.
This script creates a "build" really, not a release. A separate release.sh
script should be written to automate the current manual release process (at
some point...).
Patch by: Todd Larsen
Review by: to-be-reviewed
$(function() {
$('#side #menu li.expandable > a').dblclick(function() {
window.location = $(this).attr('href');
})
$('#side #menu li.expandable > span').toggle(function() {
$(this).find("img").attr('src', '/soc/content/images/plus.gif').end().parent().children("ul").toggle();
}, function() {
$(this).find("img").attr('src', '/soc/content/images/minus.gif').end().parent().children("ul").toggle();
return false;
});
$('#side #menu li.expandable > span').contents().before('<img src="/soc/content/images/minus.gif" />');
});