[184] Don't attempt to install docs when WITH_DOCS=no.
Thanks to minghuadev. Bug: https://github.com/eclipse/mosquitto/issues/184pull/198/head
parent
63416e6547
commit
1cd40925b8
Loading…
Reference in New Issue