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