docbk goal was broken - fix #1799 [skip ci]
Merge branch 'jruby-1_7' of jruby.org:jruby into jruby-1_7