tree a7e412b9938e81dcce5da41fa272aadadfdf488a
parent 844aa45625dbc3ca6a009fe63e448b70c3f97c40
author Lorenzo Bettini <lorenzo.bettini@gmail.com> 1458591330 +0100
committer Lorenzo Bettini <lorenzo.bettini@gmail.com> 1458591413 +0100

Fixed generated documentation inclusion and ignore

Change-Id: I533bd2d425f82626af4e261e3de90fedfa523d95