diff options
| author | Maria Matejka <mq@ucw.cz> | 2022-09-27 12:39:07 +0200 |
|---|---|---|
| committer | Maria Matejka <mq@ucw.cz> | 2022-09-27 12:39:07 +0200 |
| commit | 32a67c93ebf29309286dca5195f026eeda3f78a2 (patch) | |
| tree | 578c6038187d0c50c4a4f250e440983dbb93029d /tools/linuxdoc | |
| parent | 57a34d466e85bedbf40a0f7cbde23b843a303c8d (diff) | |
| parent | cae5979871ee7aa341334f8b1af6bafc60ee9692 (diff) | |
Merge commit 'cae5979871ee7aa341334f8b1af6bafc60ee9692' into tmp-bad-learn
Diffstat (limited to 'tools/linuxdoc')
| -rwxr-xr-x | tools/linuxdoc | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/tools/linuxdoc b/tools/linuxdoc index 51110e79..58f5cbc4 100755 --- a/tools/linuxdoc +++ b/tools/linuxdoc @@ -25,8 +25,13 @@ use FindBin; $prefix = "/usr"; $isoentities_prefix = "/usr"; $DataDir = "$FindBin::Bin/../doc/sbase"; -$AuxBinDir = "/usr/lib/linuxdoc-tools"; - +if (-d "/usr/lib/linuxdoc-tools") +{ + $AuxBinDir = "/usr/lib/linuxdoc-tools"; +} else +{ + $AuxBinDir = "/usr/bin"; +} use lib "$FindBin::Bin/linuxdoc-tools"; # --------------------------------------------------------------------- |