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
