Bash script to generate the html files