var ROOT = "/dist";
var here = window.location.href;

var there;
if (here.indexOf("file://") == 0) {
	var i = here.indexOf(ROOT);
	there = here.substr(0, i + ROOT.length) + target; 
}
else there = target;

window.location.replace(there);