diff options
| -rwxr-xr-x | tools/linuxdoc | 10 |
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"; # --------------------------------------------------------------------- |