diff options
| author | Ben Hutchings <[email protected]> | 2015-07-08 20:06:51 +0100 |
|---|---|---|
| committer | Jonathan Corbet <[email protected]> | 2015-07-10 11:03:16 -0600 |
| commit | b48ed85145711b28f9024dcdaf6c0238d7b5042c (patch) | |
| tree | 0efae754c1770ed59c7e6eaa2f0f96766a8871e1 /scripts/gdb/linux/modules.py | |
| parent | 32c1735c4091ef0de8e39f68a9d83a07450b959b (diff) | |
DocBook: Generate consistent IDs
By default, DocBook XSL uses a non-deterministic function to generate
IDs for HTML elements where it can't take a name from the input
document. However, it has the option to generate 'consistent'
(deterministic) IDs instead. Enable this to make the HTML pages
reproducible.
Reported-by: Jérémy Bobbio <[email protected]>
Signed-off-by: Ben Hutchings <[email protected]>
Signed-off-by: Jonathan Corbet <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/modules.py')
0 files changed, 0 insertions, 0 deletions