a basic files for HTML manual of REST APIs.