group: doc
short: Tool for generating HTML documentation for applications.