@strikr Try removing the ~/.texlive directory. Apparently that solves some problems.
@axben AFAIK PDFs can only be generated by Latex using pdftex. You could probably just install latex and pdftex using something like msys2. You can also build the html docs using, _koch web_
