On Sun, May 08, 2005 at 05:03:23PM +0200, Guillaume POIRIER wrote: > > IMHO, the build system should fail if xmllint isn't installed as other > people like me may very much break the generation of the docs in the > future. .. or at least print a warning or similar. Patches welcome. Diego