diff vidix/dha.c @ 31780:d55bcadba17a

Skip searching for an xmllint command. The xmllint target is separate from building the documentation; thus if xmllint is not available, the xmllint targets can fail without further harm.
author diego
date Wed, 28 Jul 2010 10:00:56 +0000
parents 0f1b5b68af32
children 99054ecaf3d9
line wrap: on
line diff