diff --git a/bin/genhtml b/bin/genhtml index a35746b..608a07b 100755 --- a/bin/genhtml +++ b/bin/genhtml @@ -12590,6 +12590,10 @@ END_OF_HTML $tla; $tlaRow = "