Revision as of 25 July 2017 at 09:51. This is the thread's initial revision.
We have a problem with the DocBook conversion program - it doesn't work currently. I have filed a ticket with the sysadmins (and added you as subscriber to that ticket). Hopefully the problem can be solve on the server side.