[Top][All Lists]

[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: James
Subject: Re: make doc fails after updating dev to VERSION 2.19.38
Date: Wed, 9 Mar 2016 13:19:19 +0000
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0


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.


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).

reply via email to

[Prev in Thread] Current Thread [Next in Thread]