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 apt-get
?
Alternatively, is it reasonably save to just delete the content of /usr/share/doc
?
I like to share the Virtual Box machine with others, which shouldn't run in trouble.