diff --git a/Makefile b/Makefile index 1b679c45017df2cf4b5af8670c24cc69fa2c6847..33a61da1273a3c23ea517eb58b3747e81733823e 100644 --- a/Makefile +++ b/Makefile @@ -8,4 +8,4 @@ env: clean: rm -rf env - make -C docs clean + rm -rf docs/build