Send article as PDF    I’ve been doing a bit of Docbook work recently – converting a paper based manual into a Docbook one that can then be used to generate all kinds of different output from the same input file. Very useful. I needed to create an index that correctly reflected the contents [...]