CR-7223 OPENDJ-2080 Fix outdated links in server build file

Mark Craig

15.43.2015 a8c4e25f02ab71fff2c2b2ab6d166afd097547e5

1
2
DocBook XML source for OpenDJ core user documentation. Java API and
configuration reference documentation is generated from OpenDJ source code.