Skip to content

Doxygen

Jump to bottom
Michael Rawson edited this page Nov 27, 2023 · 1 revision

Vampire can use Doxygen to generate documentation from comments in its source files. Run doxygen in the root to generate the documentation files as HTML. Not all parts of Vampire are well-documented; if you figure out how a class or function works it's well worth commenting it, preferably in Doxygen syntax.

Clone this wiki locally