From: Augustin Degomme <adegomme@gmail.com>
Date: Tue, 25 Feb 2020 13:23:57 +0000 (+0100)
Subject: Merge branch 'cmake-no-doc-when-disabled' into 'master'
X-Git-Tag: v3.26~878
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/9a94db9ebea7a49f58308560099411d4ab59b183

Merge branch 'cmake-no-doc-when-disabled' into 'master'

cmake: no doc when disabled

See merge request simgrid/simgrid!31
---

9a94db9ebea7a49f58308560099411d4ab59b183