doc/develdirectory: html and latex. It also places a Makefile in the latex directory for creating PDF versions of the documentation.
covered/srcdirectory. Because Doxygen is unable to understand/parse Flex and Bison files, the *.l and *.y files are omitted from documentation generation. Placing Doxygen-style comments in these files will not result in developer documentation apart from the source file itself.
valgrind --tool=memcheck -v