From eb859a3fb063b261fb76304e5b8eca206e7a162a Mon Sep 17 00:00:00 2001
From: Ondrej Filip <feela@network.cz>
Date: Sun, 20 Feb 2022 15:30:47 +0100
Subject: [PATCH] Small change to fix doc building on Debian

---
 tools/linuxdoc | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/tools/linuxdoc b/tools/linuxdoc
index 045aa93b..603a0bf5 100755
--- a/tools/linuxdoc
+++ b/tools/linuxdoc
@@ -25,9 +25,13 @@ use FindBin;
 $prefix             = "/usr";
 $isoentities_prefix = "/usr";
 $DataDir            = "$FindBin::Bin/../doc/sbase";
-#$AuxBinDir          = "/usr/lib/linuxdoc-tools";
-$AuxBinDir          = "/usr/bin";
-
+if (-e "/usr/lib/linuxdoc-tools")
+{
+  $AuxBinDir          = "/usr/lib/linuxdoc-tools";
+} else
+{
+  $AuxBinDir          = "/usr/bin";
+}
 use lib "$FindBin::Bin/linuxdoc-tools";
 
 # ---------------------------------------------------------------------