From 89bc266fe7cf58f5dbd37e8ec0f40cfe40558df5 Mon Sep 17 00:00:00 2001
From: "Ondrej Zajicek (work)" <santiago@crfreenet.org>
Date: Thu, 3 Jan 2019 17:17:08 +0100
Subject: Doc: Fix documentation build with newer Linuxdoc-Tools

---
 doc/LinuxDocTools.pm | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc')

diff --git a/doc/LinuxDocTools.pm b/doc/LinuxDocTools.pm
index 42cad0ca..d32f3171 100644
--- a/doc/LinuxDocTools.pm
+++ b/doc/LinuxDocTools.pm
@@ -373,6 +373,8 @@ sub process_file
         }
     }
   #
+
+  local $ENV{PATH} = "$ENV{PATH}:/usr/lib/linuxdoc-tools";
   my($precmd) = "|sgmlpre output=$global->{format} $global->{define}";
 
   #
-- 
cgit v1.2.3