doc: Re-add Docbook source files to the distribution.

Created by  Ludovic Courtès  on October 12, 2011
GCYZUWR5SHKR7BHOB3GWO4UBG35OUYZZCD3ZLXQEFFDLFK5Q5YAAC
Change contents