comparison version.sh @ 31107:a29b422baba5

Do not run xmllint prior to building the XML documentation. xmllint is just a convenient way to check for syntax errors; it is not a requirement to build the documentation.
author diego
date Tue, 11 May 2010 21:21:45 +0000
parents 4964a530de54
children 3bb138f3c634
comparison
equal deleted inserted replaced
31106:2290cf3ae4f8 31107:a29b422baba5