From 5ddf98f6bdfec213d64957a580e0425c3ed4d660 Mon Sep 17 00:00:00 2001 From: Ondrej Filip Date: Wed, 2 Mar 2022 10:52:09 +0100 Subject: [PATCH] Small improvement in directory test --- tools/linuxdoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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