No special setup. I have the actual results here today though: dpkg - warning: while removing tetex-base, directory `/usr/share/doc/tetex-base' not empty so not removed. # ls /usr/share/doc/tetex-base Licenses README.Debian-source README.Debian.gz # rm -r /usr/share/doc/tetex-base