[HEADSUP] Merging DocBook 5.0 update

[Warren Block]

On Fri, 8 Nov 2013, Warren Block wrote:

> On Thu, 7 Nov 2013, Gábor Kövesdán wrote:
>
>> On 2013.11.07. 16:12, Gábor Kövesdán wrote:
>>> Hi,
>>> 
>>> I will soon merge the DocBook 5.0 updates to head. The tree will 
>>> temporarily be locked until the merge is done. I will send out another 
>>> email I have finished.
>>> 
>> The merge is done, head is now open again for commits.

Possibly a related bug:

The [Split HTML / Single HTML] links in books are identical, both 
linking to the directory rather than to index.html and book.html.