]> git.tue.mpg.de Git - paraslash.git/commit
manual: Avoid duplicate section headings.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 28 Apr 2024 21:09:35 +0000 (23:09 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 8 May 2024 17:59:25 +0000 (19:59 +0200)
commita6b064380db178d4c25afcc3bbaab0a5ec751732
treebf2c8edf82640bad1a33b5bd13f0514eabfa7651
parent99e7b0d26b9535406bc0dc2c0114673f2d313838
manual: Avoid duplicate section headings.

There exist two "Examples" and two "Troubleshooting"
sections. Unfortunately the discount markdown converter is
unable to create a working table of contents section in this
situation: both links of the table of contents jump to the first
Examples/Troubleshooting section.

Fix this by renaming the sections.
web/manual.md