On Wed, 7 Feb 2018, Sven Schreiber wrote:
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.
The all-in-one script is supposed to handle everything.
In any case, the path c:\w32tex\bin now exists on this machine, but
the directory is empty [...]
Yes, it would be, given the typo in texinst.sh.
Allin