diff libmpcodecs/vf_dint.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 a972c1a4a012
children 7af3e6f901fd
line wrap: on
line diff