diff --git a/tools/linuxdoc b/tools/linuxdoc
index 603a0bf5..58f5cbc4 100755
--- 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