Small improvement in directory test

diff --git a/tools/linuxdoc b/tools/linuxdoc
index 603a0bf53e88fe9ed161ed5c2bdaa21063403b13..58f5cbc465856688ff46ec8c8491940c054b4f44 100755 (executable)
--- a/tools/linuxdoc
+++ b/tools/linuxdoc
@@ -25,7 +25,7 @@ use FindBin;
 $prefix             = "/usr";
 $isoentities_prefix = "/usr";
 $DataDir            = "$FindBin::Bin/../doc/sbase";
-if (-e "/usr/lib/linuxdoc-tools")
+if (-d "/usr/lib/linuxdoc-tools")
 {
   $AuxBinDir          = "/usr/lib/linuxdoc-tools";
 } else