Re: make doc fails after updating dev to VERSION 2.19.38

[James]

Villum,

On 09/03/16 11:02, Villum Sejersen wrote:
> ----- 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:
>
>
>
> o you have xetex properly installed? -- Phil Holmes
>
> I believe so:

If I'd probably 'make distclean' and/or 'make clean' your build 
environment (just to be sure) and then when you run the 'configure' 
command see what it lists as that will tell you if we find XeTeX 
installed or not.

Just so you know the addition of XeTeX was to get over a problem of 
missing ligatures in our default Pdf2TeX method we use to build the 
docs, but there needed to be an additional checkin (that was done 
yesterday or Monday) that stopped the doc process being borked if you 
didn't install it.

It is supposed to be 'optional'.

There is also, just for completeness, some documentation changes to the 
Contributor Guide that is currently in review that will add this note 
for other users - hopefully it will be pushed to latest master in the 
next couple of days.

James

PS I built doc this morning using latest current master to test a patch 
for the developers, so I know that it should work (with XeTeX installed 
anyway).