diff vidix/s3_regs.h @ 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 b11dc6175323
line wrap: on
line diff