From 857eb467938351b01edff867d78166d66ae8f8bc Mon Sep 17 00:00:00 2001
From: Albert Krewinkel <albert@zeitkraut.de>
Date: Wed, 29 Jul 2020 18:32:19 +0200
Subject: [PATCH] doc/lua-filters.md: add missing header attribute
---
doc/lua-filters.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/lua-filters.md b/doc/lua-filters.md
index 35004e854..3cec007a9 100644
--- a/doc/lua-filters.md
+++ b/doc/lua-filters.md
@@ -1633,7 +1633,7 @@ This is a pair with the following components:
1. attributes
2. foot rows ([Rows])
-### TableHead
+### TableHead {#type-tablehead}
The head of a table.