including documentation in HTML files