New DocBook support (0003)

[Pavel Sanda]

On Wed, Jul 01, 2020 at 10:26:52PM +0200, Thibaut Cuvelier wrote:
> > Patch 0003 will break packaging, because the file is deleted without
> > removing it's corresponding part in Makefile.am (it's generally good idea
> > to do git grep to check for leftovers).  Secondly I see similarly named
> > file in templates. Is this supposed to stay?
> >
> 
> Here is an updated patch, mostly removing those leftovers :).

This is now in. P