Merge commit 'db4903eb4875bed6c5b8a4259cdd7bc1768dfdf6'
authorJames Almer <jamrial@gmail.com>
Thu, 28 Sep 2017 22:22:21 +0000 (19:22 -0300)
committerJames Almer <jamrial@gmail.com>
Thu, 28 Sep 2017 22:22:21 +0000 (19:22 -0300)
commit0351b8e358f697b79b3bdcd97ee90015635c8188
treebf358ee04210e50e9074905065bd256d297bae63
parentd4b00a23c6828098205bd71c571522d4fee9e20b
parentdb4903eb4875bed6c5b8a4259cdd7bc1768dfdf6
Merge commit 'db4903eb4875bed6c5b8a4259cdd7bc1768dfdf6'

* commit 'db4903eb4875bed6c5b8a4259cdd7bc1768dfdf6':
  build: Avoid duplication in examples lists

See 1a88e84fd54fd7a9ae334e989a9805f11f327864

Merged-by: James Almer <jamrial@gmail.com>
doc/Makefile