diff options
Diffstat (limited to 'DOCS/xml')
| -rw-r--r-- | DOCS/xml/Makefile.inc | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/DOCS/xml/Makefile.inc b/DOCS/xml/Makefile.inc index 34f5e5eb43..2edb7ebce0 100644 --- a/DOCS/xml/Makefile.inc +++ b/DOCS/xml/Makefile.inc @@ -78,10 +78,6 @@ $(HTMLFILE): documentation.xml $(XSL_DEPS) cd .. && sh configure distclean: - if test "$(USE_SYMLINKS)" = "yes" ; then \ - for file in *.xml ; do \ - if test -L $$file && test "`readlink $$file`" = "../en/$$file" ; then \ - rm $$file ; \ - fi ; \ - done ; \ + @if test "$(USE_SYMLINKS)" = "yes" ; then \ + rm -f `find *.xml -type l`; \ fi |