diff options
| author | dnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2002-12-27 01:53:00 +0000 |
|---|---|---|
| committer | dnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2002-12-27 01:53:00 +0000 |
| commit | d295ef1770489b09db437a8a9a06b320e9e52e81 (patch) | |
| tree | 1672717542a5bec74ff6f5a037ec4839e6ac92a8 /contrib | |
| parent | 93fc0187e26670ec03155eb053e86a70f5812e88 (diff) | |
Mainline merge as of 2002-12-26.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/tree-ssa-20020619-branch@60536 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/ChangeLog | 4 | ||||
| -rwxr-xr-x | contrib/texi2pod.pl | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/contrib/ChangeLog b/contrib/ChangeLog index c5f7da03029..409f4fe6773 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -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. 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; |