>> Javier Fernandez-Sanguino Pena <jfs@dat.etsit.upm.es> writes: > but HTML is Debian's prefered documentation format. I'll be dammed. It is and has been for almost two years now. /me enters policy-is-wrong-I'm-not mode ;-) Marcelo