<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Jun 13, 2023 at 1:05 PM segaloco via COFF <<a href="mailto:coff@tuhs.org">coff@tuhs.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">The permuted index is surprisingly useful in this regard but isn't always there in manpage sources, you'd have to generate it. <br></blockquote><div><span class="gmail_default" style="color:rgb(0,0,255);font-family:arial,helvetica,sans-serif">Indeed.  @Doug do you know who was the brilliant person that came up with that tool and built the first UNIX PTX? I always felt they should be lauded for that piece of work!</span></div><div><span class="gmail_default" style="color:rgb(0,0,255);font-family:arial,helvetica,sans-serif"><br></span></div><div><span class="gmail_default" style="color:rgb(0,0,255);font-family:arial,helvetica,sans-serif">It was something that when I first learned about UNIX </span><span class="gmail_default" style="color:rgb(0,0,255);font-family:arial,helvetica,sans-serif">that I did like.   I was primarily coming from TOPS and TSS, and UNIX was strange when I first saw it -- cat instead of print or type, of course, being the first roadblock.   But when I found the PTX was one of the first times that "light dawned on marble head."</span><br><font color="#0000ff" face="arial, helvetica, sans-serif"><br></font><span style="color:rgb(0,0,255);font-family:arial,helvetica,sans-serif">I saw UNIX long before "learn" was released, but I certainly had helped enough new users by the time it was available that the "learn" tool, a printed copy of the man pages, and PTX were where I told "newbies" to start.</span><br></div></div></div><div hspace="streak-pt-mark" style="max-height:1px"><img alt="" style="width:0px;max-height:0px;overflow:hidden" src="https://mailfoogae.appspot.com/t?sender=aY2xlbWNAY2NjLmNvbQ%3D%3D&type=zerocontent&guid=d38a32f7-4151-4d3f-bfdc-6f0f254bc4ac"><font color="#ffffff" size="1">ᐧ</font></div>