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