convert docbook to man
