change names of files to correct file for html documents