# HG changeset patch # User diego # Date 1145233716 0 # Node ID 08f997fbe16d2e774aac849f26b486ce0475d400 # Parent e55c740b2947af053e4fdabd5c283821230c1889 Simplify link removal. diff -r e55c740b2947 -r 08f997fbe16d DOCS/xml/Makefile.inc --- 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`;