--- build.xml 2010-01-18 15:09:57.000000000 +0100 +++ build.xml-gil 2010-01-18 15:11:57.000000000 +0100 @@ -429,6 +429,7 @@ description="Generate the API documentation">