OSDN Git Service

* texi2pod.pl: Skip contents of @copying.
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 24 Dec 2002 18:56:21 +0000 (18:56 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 24 Dec 2002 18:56:21 +0000 (18:56 +0000)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@60477 138bc75d-0d04-0410-961f-82ee72b054a4

contrib/ChangeLog
contrib/texi2pod.pl

index c5f7da0..409f4fe 100644 (file)
@@ -1,3 +1,7 @@
+2002-12-24  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+       * texi2pod.pl: Skip contents of @copying.
+
 2002-11-09  Zack Weinberg  <zack@codesourcery.com>
 
        * gthr_supp_vxw_5x.c: New file.
index e5560f3..d383945 100755 (executable)
@@ -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;