diff --git a/DOCS/xml/Makefile.inc b/DOCS/xml/Makefile.inc
index 15d7d9042f..8ac98b86fc 100644
--- a/DOCS/xml/Makefile.inc
+++ b/DOCS/xml/Makefile.inc
@@ -76,6 +76,4 @@ $(filter-out main.xml, $(patsubst ../en/%,%, $(wildcard ../en/*.xml))):
 
 distclean:
 	rm -f main.xml
-	if test "$(USE_SYMLINKS)" = "yes" ; then \
-		rm -f `find *.xml -type l`; \
-	fi
+	rm -f `find *.xml -type l`;