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/*