chore(python): include the "build" dir when running make clean for …

…docs (#11970)
pola-rs · Oct 24, 2023 · 1b08215 · 1b08215
1 parent eff109f
commit 1b08215
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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).