diff options
Diffstat (limited to 'Docs/Support/generate-text-files.pl')
| -rwxr-xr-x | Docs/Support/generate-text-files.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Docs/Support/generate-text-files.pl b/Docs/Support/generate-text-files.pl index 6470baaa6e9..0829525f679 100755 --- a/Docs/Support/generate-text-files.pl +++ b/Docs/Support/generate-text-files.pl @@ -13,7 +13,7 @@ while (<IN>) { if ($in) { - if (/Node: $tnode,/) + if (/Node: $tnode,/ || /\[index/) { $in = 0; } |