comparison libmpcodecs/vd_libmpeg2.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 60709ef498be
children 8fa2f43cb760
comparison
equal deleted inserted replaced
31779:6f79e6b02ed8 31780:d55bcadba17a