Simplified build_html_pages.sh; prefix rather than repetitive calls to scripts.