generate prod.html dynamically from dev.html (bug 993972)