diff options
| author | Maria Matejka <mq@ucw.cz> | 2022-03-09 11:51:00 +0100 |
|---|---|---|
| committer | Maria Matejka <mq@ucw.cz> | 2022-03-09 11:51:00 +0100 |
| commit | 9b6db9f9b8e561d215e1df01169b15a9dfaba1b9 (patch) | |
| tree | c4b084e7efcad6bb448341a0364a9915b07f0640 | |
| parent | 19e727a248d15e9f8871986ac286cf74b3d86e61 (diff) | |
| parent | 5ddf98f6bdfec213d64957a580e0425c3ed4d660 (diff) | |
Merge remote-tracking branch 'origin/master' into haugesund
| -rwxr-xr-x | tools/linuxdoc | 2 |
1 files changed, 1 insertions, 1 deletions
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 |