Workaround: sudo apt-get --no-install-recommends install doxygen
apt-get may still decide to download the "recommended" 417MB during Ubuntu upgrade ;)
Workaround: sudo apt-get --no-install- recommends install doxygen
apt-get may still decide to download the "recommended" 417MB during Ubuntu upgrade ;)