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 <[email protected]>
niziak · Jul 19, 2018 · f84caef · f84caef
1 parent e182dbc
commit f84caef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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