manual: Add id to legalnotice.

Otherwise the generated HTML will have a different randomly generated
name id which generates spurious diffs.
This commit is contained in:
Mark Wielaard 2019-07-11 20:05:42 +02:00
parent d0b47bde0e
commit 48e4d87489

View File

@ -27,7 +27,7 @@
</author>
</authorgroup>
<legalnotice>
<legalnotice id="legal">
<para>This program, <computeroutput>bzip2</computeroutput>, the
associated library <computeroutput>libbzip2</computeroutput>, and