On Fri, Nov 24, 2017 at 12:21 AM, Oleg Bartunov <[email protected]> wrote: > On Thu, Nov 23, 2017 at 6:01 PM, Peter Eisentraut > <[email protected]> wrote: >> The documentation sources are now DocBook XML, not SGML. (The files are >> still named *.sgml. That's something to think about separately.) > > Congratulations to you and Alexander !
+1. -- Michael
