<div dir="ltr">And now texdoc runs again. Thank you very much!</div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jun 16, 2017 at 9:10 AM, John Burt <span dir="ltr"><<a href="mailto:burt@brandeis.edu" target="_blank">burt@brandeis.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra">Thanks once again:</div><div class="gmail_extra"><br></div><div class="gmail_extra">Here is what it runs:</div><div class="gmail_extra"><br></div><div class="gmail_extra">







<p class="m_-3311096868251253410gmail-p1"><span class="m_-3311096868251253410gmail-s1">-rw-r--r--  1 root  staff  11598536 Jun 15 09:13 /usr/local/texlive/2017/tlpkg/<wbr>texlive.tlpdb</span></p></div></div>
</blockquote></div><br></div>