From d34c116505aadf3280a1b15372d8a64722d8cce7 Mon Sep 17 00:00:00 2001 From: "David B. Kinder" Date: Tue, 5 Feb 2019 09:53:16 -0800 Subject: [PATCH] doc: add clean target to Makefile Top-level Makefile is for documentation build convenience, so make it a bit more convenient by adding a make clean target (sometimes needed when to do a clean doc build when changes are made). Signed-off-by: David B. Kinder --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 0201eba26a0..0a205e7c334 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ # -# Top level makefile for things not covered by cmake +# Top level makefile for documentation build # ifndef ZEPHYR_BASE @@ -12,6 +12,9 @@ SPHINXOPTS ?= -q # Documentation targets # --------------------------------------------------------------------------- +clean: + rm -rf ${BUILDDIR} + htmldocs: mkdir -p ${BUILDDIR} && cmake -GNinja -DDOC_TAG=${DOC_TAG} -DSPHINXOPTS=${SPHINXOPTS} -B${BUILDDIR} -Hdoc/ && ninja -C ${BUILDDIR} htmldocs