make: introduce make target docs_clean

Introduce a make target to remove generated documentation.

Signed-off-by: Henning Schild <henning.schild@siemens.com>
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>

diff --git a/Makefile b/Makefile
index bac97e9dbcd1d76fb9fdec047b01d74d1e7bb005..ec7deb212a69f8778eb28d5badc13c4d3423ed86 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -39,11 +39,14 @@ tools:
 docs:
        $(DOXYGEN) Documentation/Doxyfile
 
+# remove generated docs
+docs_clean:
+       rm -rf Documentation/generated
+
 # clean up kernel, tools and generated docs
-clean:
+clean: docs_clean
        $(Q)$(MAKE) $(kbuild)
        $(Q)$(MAKE) -C tools $@
-       rm -rf Documentation/generated
 
 modules_install: modules
        $(Q)$(MAKE) $(kbuild)
@@ -54,4 +57,5 @@ firmware_install: hypervisor/jailhouse.bin $(DESTDIR)$(firmwaredir)
 install: modules_install firmware_install
        $(Q)$(MAKE) -C tools $@
 
-.PHONY: modules_install install clean firmware_install modules tools docs
+.PHONY: modules_install install clean firmware_install modules tools docs \
+       docs_clean