diff options
| author | Ondrej Filip <feela@network.cz> | 2022-02-20 14:28:06 +0100 |
|---|---|---|
| committer | Ondrej Filip <feela@network.cz> | 2022-02-20 14:28:06 +0100 |
| commit | 9b13fa4d9c3cd8894f61ed84a38ef3c69fe4fe6f (patch) | |
| tree | 8fe0789e83899bf5cf8e857b686683d4b59349db /tools/linuxdoc | |
| parent | 64d5d6d2c34fc198753f232959108305b5bd4b4c (diff) | |
Small changes related to the new release
Diffstat (limited to 'tools/linuxdoc')
| -rwxr-xr-x | tools/linuxdoc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/linuxdoc b/tools/linuxdoc index 51110e79..045aa93b 100755 --- a/tools/linuxdoc +++ b/tools/linuxdoc @@ -25,7 +25,8 @@ use FindBin; $prefix = "/usr"; $isoentities_prefix = "/usr"; $DataDir = "$FindBin::Bin/../doc/sbase"; -$AuxBinDir = "/usr/lib/linuxdoc-tools"; +#$AuxBinDir = "/usr/lib/linuxdoc-tools"; +$AuxBinDir = "/usr/bin"; use lib "$FindBin::Bin/linuxdoc-tools"; |