Merge branch 'HEAD' of git@github.com:rsoulliere/Evergreen-DocBook.git