>> 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