Howdy, I'd guess it was dumb luck? It just happened that the .../tex/ branch was searched before the .../doc/ branch.
Good Luck, Herb Schulz > On Jun 16, 2016, at 5:10 PM, maxwell <maxw...@umiacs.umd.edu> wrote: > > I remain mystified why this problem didn't bite us with older TeXLive > distributions (or why it suddenly surfaced with the 2016 version). -------------------------------------------------- Subscriptions, Archive, and List information, etc.: http://tug.org/mailman/listinfo/xetex
