tree f8645e91011812fa26a12b5400de5be424a6c92a
parent d0b47bde0e2f5bae7502ca55b80ab006523db820
author Mark Wielaard <mark@klomp.org> 1562868342 +0200
committer Mark Wielaard <mark@klomp.org> 1562889011 +0200

manual: Add id to legalnotice.

Otherwise the generated HTML will have a different randomly generated
name id which generates spurious diffs.