fixing man page generation on Debian

For some reason, Debian xmllint is failing to validate our man page. It
works in Fedoras and Red Hats, therefore I am disabling xmllint for man page
generation.

@ewoud is this it? Thanks