Doc: Fix documentation build with newer Linuxdoc-Tools

diff --git a/doc/LinuxDocTools.pm b/doc/LinuxDocTools.pm
index 42cad0ca61338d7b326a8666a8aad38215a9c7c9..d32f3171122691cfee2474aba3b5ba294d07eb69 100644 (file)
--- 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}";
 
   #