15 Nov
2019
15 Nov
'19
2:27 p.m.
Andrea:
It has been downloaded Texlive (more than 1 GB of
data!) along with the normal dependencies. Is this normal?
Unfortunately, yes because many of the thirdparty packages have
documentation that uses Tex and it would be quite difficult to go through each of them and remove this requirement.