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.