diff options
| author | Ben Hutchings <ben@decadent.org.uk> | 2015-08-06 23:36:52 +0100 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2015-08-14 11:07:34 -0600 |
| commit | 9ed71e7ad95eb9885420e8d33f33bd4d49e1b775 (patch) | |
| tree | bdadbf357b74f4ee4d89d859efe4050abe0bb600 /scripts | |
| parent | 7bbac697e4a6e64cc4bae26d57310c916aa0da7a (diff) | |
| download | linux-9ed71e7ad95eb9885420e8d33f33bd4d49e1b775.tar.bz2 | |
DocBook: Fix non-determinstic installation of duplicate man pages
Some kernel-doc sections are included in multiple DocBook files. This
means the mandocs target will generate the same manual page multiple
times with different metadata (author name/address and manual title,
taken from the including DocBook file). If it's invoked in a parallel
build, the output is non-determinstic.
Build the manual pages in a separate subdirectory per DocBook file,
then sort and de-duplicate when installing them (which is serialised).
Signed-off-by: Ben Hutchings <ben@decadent.org.uk>
[jc: fixed conflicts with the docs tree]
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions