docs: fix make clean

GlacioHack · Nov 15, 2024 · 3cde588 · 3cde588
1 parent 7d5fc3b
commit 3cde588
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/doc/Makefile b/doc/Makefile
@@ -14,9 +14,9 @@ help:
 
 clean:
 	echo "Removing build files..."
-	if [[ -d "$(BUILDDIR)" ]]; then rm -r "$(BUILDDIR)"; fi
-	if [[ -d "$(SOURCEDIR)/auto_examples" ]]; then rm -r "$(SOURCEDIR)/auto_examples"; fi
-	if [[ -d "$(SOURCEDIR)/gen_modules" ]]; then rm -r "$(SOURCEDIR)/gen_modules"; fi
+	if [ -d "$(BUILDDIR)" ]; then rm -r "$(BUILDDIR)"; fi
+	if [ -d "$(SOURCEDIR)/auto_examples" ]; then rm -r "$(SOURCEDIR)/auto_examples"; fi
+	if [ -d "$(SOURCEDIR)/gen_modules" ]; then rm -r "$(SOURCEDIR)/gen_modules"; fi
 
 .PHONY: help Makefile