[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: make doc fails after updating dev to VERSION 2.19.38
From: |
Phil Holmes |
Subject: |
Re: make doc fails after updating dev to VERSION 2.19.38 |
Date: |
Wed, 9 Mar 2016 10:09:51 -0000 |
----- Original Message -----
From: "Villum Sejersen" <address@hidden>
To: <address@hidden>
Sent: Wednesday, March 09, 2016 9:52 AM
Subject: make doc fails after updating dev to VERSION 2.19.38
While make [all] and make install repeatably works as usual from latest
git sources, make doc does not compile the 2.19.38 version, regardless
how many, how many times and which cleaning attempts I try before.
The last few lines of the log file looks:
Do you have xetex properly installed?
--
Phil Holmes