diff options
author | Stefano Sabatini <stefasab@gmail.com> | 2012-12-16 20:16:43 +0100 |
---|---|---|
committer | Stefano Sabatini <stefasab@gmail.com> | 2012-12-17 23:54:07 +0100 |
commit | f14e248783f45a698947a2ed6e2c82069db46bc8 (patch) | |
tree | 156eab385840eee96ad8a822200b9e6f3d92c75c /doc/texi2pod.pl | |
parent | 992772b94757aae00f3bf0bfa1afe7e7197e3d8c (diff) | |
download | ffmpeg-f14e248783f45a698947a2ed6e2c82069db46bc8.tar.gz |
doc/texi2pod: add support to @ifhtml and @ifnothtml directives
With these commands it is possible to add HTML and non-HTML snippets,
which will be useful for the "See Also" manual chapters.
Diffstat (limited to 'doc/texi2pod.pl')
-rwxr-xr-x | doc/texi2pod.pl | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/texi2pod.pl b/doc/texi2pod.pl index d20fac6bf6..6702d7a542 100755 --- a/doc/texi2pod.pl +++ b/doc/texi2pod.pl @@ -150,14 +150,14 @@ 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)$/; + next if $skipping && $ended !~ /^(?:ifset|ifclear|ignore|menu|iftex|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; $endw = pop @endwstack; - if ($ended =~ /^(?:ifset|ifclear|ignore|menu|iftex)$/) { + if ($ended =~ /^(?:ifset|ifclear|ignore|menu|iftex|ifhtml|ifnothtml)$/) { $skipping = pop @skstack; next; } elsif ($ended =~ /^(?:example|smallexample|display)$/) { @@ -190,11 +190,11 @@ INF: while(<$inf>) { next; }; - /^\@(ignore|menu|iftex)\b/ and do { + /^\@(ignore|menu|iftex|ifhtml|ifnothtml)\b/ and do { push @endwstack, $endw; push @skstack, $skipping; $endw = $1; - $skipping = 1; + $skipping = $endw !~ /ifnothtml/; next; }; |