user-manual: Fix markup
authorFabian Keil <fk@fabiankeil.de>
Tue, 9 May 2023 14:29:43 +0000 (16:29 +0200)
committerFabian Keil <fk@fabiankeil.de>
Tue, 9 May 2023 14:34:24 +0000 (16:34 +0200)
commit028d2f5421af3528242d5e7fef04d6521593258f
treeb5d6f14395ef3156c852d38b5399e3b519034b30
parent1dd4237d989d3863195534b452fbaf32c9cb0e9d
user-manual: Fix markup
doc/source/user-manual.sgml