From 381ebf9d5c322edaec73023783bf61a155acfdf0 Mon Sep 17 00:00:00 2001 From: postables Date: Thu, 23 Jul 2020 23:58:39 -0700 Subject: [PATCH] update docs build target --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index ffa65886..dea995b3 100644 --- a/Makefile +++ b/Makefile @@ -16,7 +16,7 @@ build-analysis: .PHONY: docs docs: - (cd build; cmake --build . --target doxygen-docs) + (cd build; cmake --build . --target doxygen-docs ; cd .. ; rm -rf html man ; cp -r docs-build/* .) .PHONY: install-cmocka install-cmocka: