Merge "Doc update: obsolete ant target." into jb-mr1.1-docs