Author: diego Date: Wed Jun 23 14:07:29 2010 New Revision: 31534 Log: Get rid of xmllint wrapper redirection; run commands directly from make. Modified: trunk/DOCS/xml/ (props changed) Changes in other areas also in this revision: Modified: trunk/DOCS/xml/Makefile trunk/DOCS/xml/configure