making sure html generated source is up to date