added ../doc to the distribution.xml