Has anyone considered switching the source format for the kerberos man pages from the current custom format over to Docbook/XML? It would make tasks like translation (our main issue) or generation of troff, PDF and PS output much easier and gives more formatting options like embedding mathml/svg on demand. Lionel