<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-size:small">Andrea:<br></div></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"> It has been downloaded Texlive  (more than 1 GB of<br></blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
data!) along with the normal dependencies. Is this normal? <br>
<br></blockquote><div><span class="gmail_default" style="font-size:small">Unfortunately, yes</span> <span class="gmail_default" style="font-size:small">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.</span></div></div></div>