1 files changed, 7 insertions, 3 deletions
diff --git a/tools/linuxdoc b/tools/linuxdoc
index 045aa93b..603a0bf5 100755
--- a/tools/linuxdoc
+++ b/tools/linuxdoc
@@ -25,9 +25,13 @@ use FindBin;
 $prefix             = "/usr";
 $isoentities_prefix = "/usr";
 $DataDir            = "$FindBin::Bin/../doc/sbase";
-#$AuxBinDir          = "/usr/lib/linuxdoc-tools";
-$AuxBinDir          = "/usr/bin";
-
+if (-e "/usr/lib/linuxdoc-tools")
+{
+  $AuxBinDir          = "/usr/lib/linuxdoc-tools";
+} else
+{
+  $AuxBinDir          = "/usr/bin";
+}
 use lib "$FindBin::Bin/linuxdoc-tools";
 
 # ---------------------------------------------------------------------