Documentation: Combine text files into a single HTML file