Am 07.02.2018 um 11:58 schrieb Sven Schreiber:
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.
Perhaps I should add, I did _not_ run explicitly the 'export' command
mentioned in section 3.1. This is because my interpretation of the whole
chapter 3 is that setup.sh already does everything, and the sub-sections
only explain what it does. Maybe that's not entirely true? Then I'd call
it confusing I guess.
In any case, the path c:\w32tex\bin now exists on this machine, but the
directory is empty, so there doesn't seem to be a point in adding that
to my PATH anyway.
thanks,
sven