Project

General

Profile

« Previous | Next » 

Revision 1a5457e9

Added by Lukas Zapletal over 10 years ago

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

  • added
  • modified
  • copied
  • renamed
  • deleted