On Mon, Jun 18, 2012 at 11:12 PM, Kent A. Reed <kentallanreed@xxxxxxxxx> wrote: > On 6/18/2012 1:37 PM, Dave Caroline wrote: >> >> On Mon, Jun 18, 2012 at 6:20 PM, dave <dengvall@xxxxxxxxxxx> wrote: >>> > *Speaking of this manual, does anyone know what happened to the original? It > would be nice to have its identifying info --- the real title, the document > number, date, etc. And I would like the docbook source that was created in its making I have asked two names so far mentioned in its credits Dave Caroline