Automatically generate output widget.html from dev.html.