diff DOCS/xml/Makefile.inc @ 18125:08f997fbe16d

Simplify link removal.
author diego
date Mon, 17 Apr 2006 00:28:36 +0000
parents 6555c01128b7
children 2ec14bc3a3b3
line wrap: on
line diff
--- a/DOCS/xml/Makefile.inc	Mon Apr 17 00:15:48 2006 +0000
+++ b/DOCS/xml/Makefile.inc	Mon Apr 17 00:28:36 2006 +0000
@@ -76,6 +76,4 @@
 
 distclean:
 	rm -f main.xml
-	if test "$(USE_SYMLINKS)" = "yes" ; then \
-		rm -f `find *.xml -type l`; \
-	fi
+	rm -f `find *.xml -type l`;