Merge branch 'master' of git://git.indexdata.com/id-docbook-common