diff options
author | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2014-05-17 09:24:02 +0200 |
---|---|---|
committer | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2014-05-17 09:24:07 +0200 |
commit | a2c9307ec1b8021f6095d3adf9c32ff53781ac73 (patch) | |
tree | d391bf0e2a49c56784555574091c5d4dc9af9e5d /doc/scripts | |
parent | 77353ce6568540b1f0743cf2267343fb9b7a088e (diff) | |
download | gnutls-a2c9307ec1b8021f6095d3adf9c32ff53781ac73.tar.gz |
invoke-*.texi generation: do not print the bug reports line from autogen.
Diffstat (limited to 'doc/scripts')
-rwxr-xr-x | doc/scripts/cleanup-autogen.pl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/scripts/cleanup-autogen.pl b/doc/scripts/cleanup-autogen.pl index 6f38f5e1f1..889ad6439f 100755 --- a/doc/scripts/cleanup-autogen.pl +++ b/doc/scripts/cleanup-autogen.pl @@ -26,6 +26,7 @@ my $menu = 0; my $i = 0; while ($line = <>) { + if ($line =~ /\@node (.*)/) { if ($init == 0) { $init = 1; @@ -57,6 +58,10 @@ while ($line = <>) { } } + if ($line =~ /^Please send bug reports.*/) { + next; + } + print $line; $i++; } |