modify .gitignore: add target
modify rest.html file name