diff options
| author | Jan Moskyto Matejka <mq@ucw.cz> | 2016-05-10 14:30:49 +0200 |
|---|---|---|
| committer | Jan Moskyto Matejka <mq@ucw.cz> | 2016-05-10 14:30:49 +0200 |
| commit | 0c6dfe52369a59d7f3da8ee6bc7c505e3da5c064 (patch) | |
| tree | 264aa0aa4e9393491d74d473181faab4ae288cb9 /doc/LinuxDocTools.pm | |
| parent | 7a7ac656829223713f9e6bcef63d2b5a5efce7d2 (diff) | |
| parent | 92912f063a94bd7c743a25628ca2073380e09ef4 (diff) | |
Merge branch 'int-new' into int-new-merged
Diffstat (limited to 'doc/LinuxDocTools.pm')
| -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 51d4a04c..39bb401d 100644 --- a/doc/LinuxDocTools.pm +++ b/doc/LinuxDocTools.pm @@ -372,6 +372,8 @@ sub process_file } } # + + local $ENV{PATH} = "$ENV{PATH}:/usr/lib/linuxdoc-tools"; my($precmd) = "|sgmlpre output=$global->{format} $global->{define}"; # |