Description: Skip xmllint on manpage generation.
Author: Sascha Steinbiss <steinbiss@zbh.uni-hamburg.de>
--- a/scripts/create_manpages
+++ b/scripts/create_manpages
@@ -3,6 +3,6 @@
 for FILE in $1/*.mansrc;
 do
   echo -n '.'
-  a2x --doctype manpage --format manpage -D $2 $FILE
+  a2x  --no-xmllint --doctype manpage --format manpage -D $2 $FILE
 done
 echo ''
