Re: man page bug in addr2line

[Eli Zaretskii]

> From: "Eric S. Raymond" <address@hidden>
> Date: Sun, 14 Oct 2001 12:37:34 -0400
> 
> I'm working on a program that automatically translates manual page sources
> to DocBook markup.  You can find out more about this program at 
> 
>       http://www.tuxedo.org/~esr/doclifter/
> 
> If you are not already considering it, please think about moving your
> documentation masters to DocBook.  Tools to generate man pages (docbook2man)
> HTML (docbook2html) and PostScript (docbook2ps) from DocBook masters are
> open source and generally available.  My program, doclifter, should make 
> moving
> your masters to dicbook a pretty painless process.

Are you aware that the latest pretest of Texinfo on alpha.gnu supports
DocBook?  That is, makeinfo can now produce DocBook output from a
Texinfo source.  Just FYI; see

  ftp://alpha.gnu.org/gnu/texinfo-4.0c.tar.gz