From d4a4c5426f73d9ddb23eaf0dedbe35d37873cca5 Mon Sep 17 00:00:00 2001 From: Terts Diepraam Date: Fri, 11 Feb 2022 19:16:33 +0100 Subject: [PATCH] make: add clean target for docs --- docs/Makefile | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/docs/Makefile b/docs/Makefile index f56df90fb..dd700bcb0 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -1,5 +1,4 @@ -UseGNU=gmake $* -all: - @$(UseGNU) -.DEFAULT: - @$(UseGNU) +clean: + rm -rf _build + rm -f src/SUMMARY.md + rm -f src/utils/*