commit | 6f16b460c0f9835e1e4af25bfb5a06761f595345 | [log] [tgz] |
---|---|---|
author | Neil Fuller <nfuller@google.com> | Tue Sep 04 15:40:39 2018 +0100 |
committer | Neil Fuller <nfuller@google.com> | Tue Sep 04 19:01:57 2018 +0100 |
tree | 1d004d7b8b6ebc0f574f520eb52b629b5f513ee2 | |
parent | 8da80007cd34f7da59ab383386ce8e188e2175d2 [diff] |
Remove a target to see who complains core-docs is potentially useful but I haven't seen anyone using it recently. This commit removes it and it can be added back if somebody wants it and they can handle the maintenance. Test: build only Change-Id: I51b07ffab26f6d78683ea8868342a0451c9ced13