From f84caef220438e53b0a997ce03e76a58d104304a Mon Sep 17 00:00:00 2001
From: Carles Cufi <carles.cufi@nordicsemi.no>
Date: Thu, 19 Jul 2018 13:47:45 +0200
Subject: [PATCH] doc: Makefile: Switch to Ninja as a generator

Since we only document Ninja as a generator for building the
documentation, switch to it for the convenience Makefile provided.

Signed-off-by: Carles Cufi <carles.cufi@nordicsemi.no>
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 351d31cc453..5dab6363b40 100644
--- a/Makefile
+++ b/Makefile
@@ -9,4 +9,4 @@ SPHINXOPTS ?= -q
 # Documentation targets
 # ---------------------------------------------------------------------------
 htmldocs:
-	mkdir -p ${BUILDDIR} && cmake -G"Unix Makefiles" -DDOC_TAG=${DOC_TAG} -DSPHINXOPTS=${SPHINXOPTS} -B${BUILDDIR} -Hdoc/ && make -s -C ${BUILDDIR} htmldocs
+	mkdir -p ${BUILDDIR} && cmake -GNinja -DDOC_TAG=${DOC_TAG} -DSPHINXOPTS=${SPHINXOPTS} -B${BUILDDIR} -Hdoc/ && ninja -C ${BUILDDIR} htmldocs