diff options
| author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2019-01-03 17:17:08 +0100 |
|---|---|---|
| committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2019-01-03 17:17:08 +0100 |
| commit | 89bc266fe7cf58f5dbd37e8ec0f40cfe40558df5 (patch) | |
| tree | 5324de108eed422e3c4643c2d7193facc80624c6 | |
| parent | cdf2daae01c63d383b03d66e14692ff27bdbd180 (diff) | |
Doc: Fix documentation build with newer Linuxdoc-Tools
| -rw-r--r-- | doc/LinuxDocTools.pm | 2 |
1 files changed, 2 insertions, 0 deletions
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}"; # |