Can I romove "doc" file folder ?

Reinhard Kotucha reinhard.kotucha at
Sun Jan 3 00:23:43 CET 2021

On 2021-01-02 at 16:10:38 +0100, Martin Sievers wrote:

 > You can disable the installation of doc file with
 > tlmgr option docfiles 0

Throwing documentation away is never a good idea.  A better solution
is to move the doc directory to a cheap USB stick and replace it by a
symlink which points to the doc directory on the stick.

It's necessary to insert the stick before running "tlmgr update".
Be careful!

The advantage of this approach is that nothing gets lost and
everything works as usual, except that you get an error message when
you run texdoc while the USB stick isn't mounted.

It's also possible to move the whole /usr/local/texlive tree to the
stick and to replace /usr/local/texlive by a symlink.  In this case
you don't have to worry whether the stick is mounted or not when
running "tlmgr update" because tlmgr itself is on the stick.


Reinhard Kotucha                            Phone: +49-511-3373112
Marschnerstr. 25
D-30167 Hannover                    mailto:reinhard.kotucha at

More information about the tex-live mailing list.