On Fri, Sep 30 2016, Nick Dokos wrote: Hello,
> > But the OP wanted Docbook XML, not info. Ah! I must remember to read a thread more carefully next time. Thanks. Best wishes, Colin.
On Fri, Sep 30 2016, Nick Dokos wrote: Hello,
> > But the OP wanted Docbook XML, not info. Ah! I must remember to read a thread more carefully next time. Thanks. Best wishes, Colin.