Merge "doxygen: fix --disable-examples"
authorJohann Koenig <johannkoenig@google.com>
Mon, 17 Dec 2018 23:07:38 +0000 (23:07 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Mon, 17 Dec 2018 23:07:38 +0000 (23:07 +0000)

Trivial merge