I like to create a rather small Ubuntu installation in a Virtual Box machine. It should basically just provide TeX Live and related tools. I figured now that I have almost 1GB of data under
/usr/share/doc. I don't need this documentation in this case, just the LaTeX related
man pages, which are not located there.
Is there a way to uninstall all these documentation files using
Alternatively, is it reasonably save to just delete the content of
I like to share the Virtual Box machine with others, which shouldn't run in trouble.