diff options
| -rw-r--r-- | DOCS/xml/Makefile.inc | 4 |
1 files changed, 1 insertions, 3 deletions
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`; |