Doc: Fix documentation build with newer Linuxdoc-Tools

2024-05-11 16:54:54 +00:00 · 2019-01-03 17:17:08 +01:00
parent cdf2daae01
commit 89bc266fe7
1 changed files with 2 additions and 0 deletions
@@ -373,6 +373,8 @@ sub process_file
        }
    }
  #
+
+  local $ENV{PATH} = "$ENV{PATH}:/usr/lib/linuxdoc-tools";
  my($precmd) = "|sgmlpre output=$global->{format} $global->{define}";

  #