[FFmpeg-devel] [PATCH 5/8] doc/texi2pod: Skip contents of @copying

[Stefano Sabatini]

On date Wednesday 2014-01-22 20:04:03 -0800, Timothy Gu encoded:
> From: "Joseph S. Myers" <jsm at polyomino.org.uk>
> 
> Taken from GCC r60477.
> 
> Signed-off-by: Timothy Gu <timothygu99 at gmail.com>
> ---
>  doc/texi2pod.pl | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
> 
> diff --git a/doc/texi2pod.pl b/doc/texi2pod.pl
> index 578eb7a..ef7402f 100755
> --- a/doc/texi2pod.pl
> +++ b/doc/texi2pod.pl
> @@ -166,7 +166,7 @@ INF: 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|ifhtml|ifnothtml)$/;
> +        next if $skipping && $ended !~ /^(?:ifset|ifclear|ignore|menu|iftex|copying|ifhtml|ifnothtml)$/;
>  
>          die "\@end $ended without \@$ended at line $.\n" unless defined $endw;
>          die "\@$endw ended by \@end $ended at line $.\n" unless $ended eq $endw;
> @@ -206,7 +206,7 @@ INF: while(<$inf>) {
>          next;
>      };
>  
> -    /^\@(ignore|menu|iftex|ifhtml|ifnothtml)\b/ and do {
> +    /^\@(ignore|menu|iftex|copying|ifhtml|ifnothtml)\b/ and do {
>          push @endwstack, $endw;
>          push @skstack, $skipping;
>          $endw = $1;

Probably can be omitted.
-- 
FFmpeg = Fierce & Formidable Multimedia Portable Entertaining Gospel