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

* commit 'd51a557ab662c868d2d28675234de8eaf1c675e6':
  Doc update: obsolete ant target.