Re: DOCBOOK: Bookmarks through jadetex

[Stephane Bortzmeyer <bortzmeyer@pasteur.fr>]

On Thursday 25 November 1999, at 16 h 37, the keyboard of chr@siteloft.com 
(Christian Nybø) wrote:

> Debian docs in pdf have this feature, I assume they use Docbook or
> some related dtd, 

No, most of the documentation is in the proprietary DTD DebianDoc. A tool 
converts it to Latex <footnote>Not Jadetex</footnote> (via nsgmls), then to 
PDF (via pdflatex).