Closed ukkopahis closed 2 years ago
See reasoning from #558
Change mostly done by command: git grep -l '# <a name=' -- docs | xargs -n 1 sed -i -E 's%(#* )<a name="?(.*)"?></a>(.*)%\1\3 { #\2 }%'
git grep -l '# <a name=' -- docs | xargs -n 1 sed -i -E 's%(#* )<a name="?(.*)"?></a>(.*)%\1\3 { #\2 }%'
Also a removal of redundant section with its link placed at a more logical place.
Closes #558
See reasoning from #558
Change mostly done by command:
git grep -l '# <a name=' -- docs | xargs -n 1 sed -i -E 's%(#* )<a name="?(.*)"?></a>(.*)%\1\3 { #\2 }%'Also a removal of redundant section with its link placed at a more logical place.
Closes #558