The base files and tools for generating an EPUB from HTML files