tree 0a4208343abaf4d49e6d3099a61d46603c9ca91b
parent 11c217506a773994fc65fe4505659a5d18091188
author Haowei Wu <haowei@google.com> 1571195876 -0700
committer Haowei Wu <haowei@google.com> 1571196771 -0700

[docs] Reuse existing jiri manifest in source tree.

Reuse the existing manifest file in source tree in documentation.

Bug: 38659
Change-Id: I9d5d2af4f1c6b59e5795f21dea05a38909368eb2