Am 30.12.2017 um 18:30 schrieb Sven Schreiber:
> Then the setup.sh script said it was satisfied.
Today I've tried a somewhat different attempt, invoking your (Allin's)
automated setup.sh. (I think I followed a more manual approach the last
time, or perhaps you amended the setup.sh file, don't know.) This
installed a whole new Tex distribution, as mentioned/announced in the
"Building... on Windows" doc.
However, configuring via the conf.sh mentioned in section 3.6, I got the
message that documentation couldn't be built because xslt and/or
pdflatex was missing.
So right now I'm building without documentation support I guess.
thanks,
sven