commit | 48e4d87489c1e8ba6c77b7ed6217eb3c9ea519bc | [log] [tgz] |
---|---|---|
author | Mark Wielaard <mark@klomp.org> | Thu Jul 11 20:05:42 2019 +0200 |
committer | Mark Wielaard <mark@klomp.org> | Fri Jul 12 01:50:11 2019 +0200 |
tree | f8645e91011812fa26a12b5400de5be424a6c92a | |
parent | d0b47bde0e2f5bae7502ca55b80ab006523db820 [diff] |
manual: Add id to legalnotice. Otherwise the generated HTML will have a different randomly generated name id which generates spurious diffs.
diff --git a/manual.xml b/manual.xml index b99e480..ea9fca2 100644 --- a/manual.xml +++ b/manual.xml
@@ -27,7 +27,7 @@ </author> </authorgroup> - <legalnotice> + <legalnotice id="legal"> <para>This program, <computeroutput>bzip2</computeroutput>, the associated library <computeroutput>libbzip2</computeroutput>, and