Merge remote-tracking branch 'origin/master' into haugesund

This commit is contained in:
Maria Matejka 2022-03-09 11:51:00 +01:00
commit 9b6db9f9b8

View file

@ -25,7 +25,7 @@ use FindBin;
$prefix = "/usr"; $prefix = "/usr";
$isoentities_prefix = "/usr"; $isoentities_prefix = "/usr";
$DataDir = "$FindBin::Bin/../doc/sbase"; $DataDir = "$FindBin::Bin/../doc/sbase";
if (-e "/usr/lib/linuxdoc-tools") if (-d "/usr/lib/linuxdoc-tools")
{ {
$AuxBinDir = "/usr/lib/linuxdoc-tools"; $AuxBinDir = "/usr/lib/linuxdoc-tools";
} else } else