diff options
author | Tiem Song <tiem@google.com> | 2019-08-14 10:58:02 -0700 |
---|---|---|
committer | Tiem Song <tiem@google.com> | 2019-08-14 18:02:45 +0000 |
commit | a59b68f8edf5e8ab643eb22145b4ddf8c4c3dc41 (patch) | |
tree | 47b9ef5ce9489317c5da81bba667f2eb15dc7e7b | |
parent | 3d89dcc219d9d5368e8e69e806a04a3d310456e1 (diff) | |
download | manifest-a59b68f8edf5e8ab643eb22145b4ddf8c4c3dc41.tar.gz |
Add platform/tools/doc_generation project to master
Bug: 128540915
Test: N/A
-rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index 827019247..946ca3187 100644 --- a/default.xml +++ b/default.xml @@ -754,6 +754,7 @@ <project path="tools/build" name="platform/tools/build" groups="notdefault,tools" /> <project path="tools/currysrc" name="platform/tools/currysrc" groups="pdk" /> <project path="tools/dexter" name="platform/tools/dexter" groups="tools,pdk-fs" /> + <project path="tools/doc_generation" name="platform/tools/doc_generation" groups="tools" /> <project path="tools/external_updater" name="platform/tools/external_updater" groups="tools" /> <project path="tools/external/fat32lib" name="platform/tools/external/fat32lib" groups="tools" /> <project path="tools/external/gradle" name="platform/tools/external/gradle" groups="tools" clone-depth="1" /> |