@tim-janik
tim-janik DOC: Makefile.mk: work around broken heading anchors in pandoc-1.3.9
0179068 Nov 23, 2023
DOC: Makefile.mk: work around broken heading anchors in pandoc-1.3.9 
Signed-off-by: Tim Janik <timj@gnu.org>
0179068