The Latex sources have been extracted from doxygen and use Latex commands from the doxygen package.

Tim Hopkins (20 Jan 2021)
