docs: fix make clean

GlacioHack · Nov 18, 2024 · c332be6 · c332be6
1 parent 167f001
commit c332be6
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