summaryrefslogtreecommitdiff
path: root/contrib/texi2pod.pl
diff options
context:
space:
mode:
authorJoseph Myers <jsm@polyomino.org.uk>2002-12-24 18:56:21 +0000
committerJoseph Myers <jsm28@gcc.gnu.org>2002-12-24 18:56:21 +0000
commitd6bef02d0eb0d023a5283eba6d5ae4e7bc9054dd (patch)
tree745993048d218c376ac19224aee6408c8ba782ad /contrib/texi2pod.pl
parent8601608f054d6744ce6ed6815b1592f0f2280684 (diff)
* texi2pod.pl: Skip contents of @copying.
From-SVN: r60477
Diffstat (limited to 'contrib/texi2pod.pl')
-rwxr-xr-xcontrib/texi2pod.pl4
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;