Right now after installing mininet using util/install.sh there is a problem when try to generate doc:
make doc
doxygen doc/doxygen.cfg
make: doxygen: Command not found
make: *** [doc] Error 127
Adding doxygen, doxypy and texlive-fonts-recommended packages to fix the problem.