<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">

</head>

<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; color: rgb(0, 0, 0); font-size: 14px; font-family: Calibri, sans-serif;">

<div>

<div>

<div>Hi John,</div>

<div><br>

</div>

<div><br>

</div>

</div>

</div>

<div>In truth I think the thing that may have had the most effect was quitting Terminal and re-starting it.  I actually thought that I had done that already but maybe not.  The other thing that I did was try to get TeX Live Utility to re-install the documentation.

  Now that operation actually failed (perhaps because it was already there), but it may have fixed a damaged path I the interim.  The only other thing that happened was the passage of time but I can’t see that that would have done anything.  I should say that

 throughout this whole process I was always able to process LaTeX documents without any problem, so my guess is that something go screwed up with the Terminal app, but who knows.</div>

<div><br>

</div>

<div>I hope this helps.</div>

<div><br>

</div>

<div>Cheers, Chris.</div>

</body>

</html>