aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStefano Sabatini <stefasab@gmail.com>2012-12-16 20:16:43 +0100
committerTimothy Gu <timothygu99@gmail.com>2013-08-27 09:06:36 -0700
commit7e017b9cbff148b3491ec919dbaeb37919672213 (patch)
tree74aaaf6a40bc03f0c4c8681121d69395879bb854
parentdeb9fb5257421051242594ae8707039b0dccac0b (diff)
downloadffmpeg-7e017b9cbff148b3491ec919dbaeb37919672213.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. (cherry picked from commit f14e248783f45a698947a2ed6e2c82069db46bc8) Signed-off-by: Timothy Gu <timothygu99@gmail.com>
-rwxr-xr-xdoc/texi2pod.pl8
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;
};