diff options
author | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2002-12-24 18:56:21 +0000 |
---|---|---|
committer | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2002-12-24 18:56:21 +0000 |
commit | 728f5d1c9f2d26616e5929989bbc5ae4004f6dc8 (patch) | |
tree | 745993048d218c376ac19224aee6408c8ba782ad /contrib/texi2pod.pl | |
parent | 339872242b1d90bbdf17b7287bb1e137ecde71be (diff) | |
download | gcc-728f5d1c9f2d26616e5929989bbc5ae4004f6dc8.tar.gz |
* texi2pod.pl: Skip contents of @copying.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@60477 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'contrib/texi2pod.pl')
-rwxr-xr-x | contrib/texi2pod.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/texi2pod.pl b/contrib/texi2pod.pl index e5560f303de..d3839458896 100755 --- a/contrib/texi2pod.pl +++ b/contrib/texi2pod.pl @@ -138,7 +138,7 @@ while(<$inf>) { # Ignore @end foo, where foo is not an operation which may # cause us to skip, if we are presently skipping. my $ended = $1; - next if $skipping && $ended !~ /^(?:ifset|ifclear|ignore|menu|iftex)$/; + next if $skipping && $ended !~ /^(?:ifset|ifclear|ignore|menu|iftex|copying)$/; die "\@end $ended without \@$ended at line $.\n" unless defined $endw; die "\@$endw ended by \@end $ended at line $.\n" unless $ended eq $endw; @@ -178,7 +178,7 @@ while(<$inf>) { next; }; - /^\@(ignore|menu|iftex)\b/ and do { + /^\@(ignore|menu|iftex|copying)\b/ and do { push @endwstack, $endw; push @skstack, $skipping; $endw = $1; |