]> git.tue.mpg.de Git - paraslash.git/commit
manual: Omit level 3 headers from table of contents.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 29 Apr 2017 19:51:49 +0000 (21:51 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 21 May 2017 15:41:42 +0000 (17:41 +0200)
commit60f4105f29a76b56d2c20b626945c39424cce409
tree4f7e9dc64bea7519ca697b851ae29e95252f7e26
parentff13641489b00540d8b8ca0eb27adf0ed49b70f7
manual: Omit level 3 headers from table of contents.

The table of contents was rather large because it contained too much
detail. This commit converts all level 3 headings to inline html which
has no visible effect except that the headings no longer appear in
the table of contents.
web/manual.md