there is a patch here

diff --git a/doc/todo/allow_toc_to_skip_entries.mdwn b/doc/todo/allow_toc_to_skip_entries.mdwn
index 45137d7a27c930cfa526ce28ea5f44a67e5d72b2..dcfb5fd043c3d56f0bc075e111dedbc2b09492e8 100644 (file)
--- a/doc/todo/allow_toc_to_skip_entries.mdwn
+++ b/doc/todo/allow_toc_to_skip_entries.mdwn
@@ -26,3 +26,5 @@ That is hard to fix without changing the theme significantly. ikiwiki themes fre
 There should really be a way to skip those entries. The patch mentioned here does this by doing a tiny modification to `toc.pm` to skip headings with the magic `nocount` class. The naming comes from [Phil Archer's Automatic Heading Numbering CSS hack](https://philarcher.org/diary/2013/headingnumbers) and could be changed, but it seemed logical to me. The result can be seen in action in: <https://anarc.at/blog/2019-11-20-file-monitoring-tools/>.
 
 Thank you for your consideration.
+
+[[!tag patch]]