]> git.tue.mpg.de Git - paraslash.git/commit
manual: Fix local links.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 28 Apr 2024 19:34:27 +0000 (21:34 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 7 May 2024 18:29:02 +0000 (20:29 +0200)
commitd024cd4ddcb71161f09693461a1c63cb36a8ca64
tree53290d1d3a87a07cce5e48ebe8ebae2bcdd5abec
parent824809dcdf32f93aa841fadbd62e8b2475768d40
manual: Fix local links.

All local links broke after an upgrade of the discount markdown
converter, because this changed the way the anchors of section headings
are encoded. This commit should fix all broken URI fragments.

Suggested-by: checklink(1)
web/manual.md