From 793897a5fbfc6c90bea3add143825174f5232c97 Mon Sep 17 00:00:00 2001 From: Alexander Beedie Date: Tue, 24 Oct 2023 09:36:57 +0000 Subject: [PATCH] build(python): include the "build" dir when running `make clean` for docs --- py-polars/docs/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/py-polars/docs/Makefile b/py-polars/docs/Makefile index 580ab347de93..30eb5bceb596 100644 --- a/py-polars/docs/Makefile +++ b/py-polars/docs/Makefile @@ -19,6 +19,7 @@ help: clean: @rm -rf source/reference/*/api/ @rm -rf source/reference/api/ + @rm -rf "$(BUILDDIR)" # Catch-all target: route all unknown targets to Sphinx using the new # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).