diff options
author | Timothy Gu <timothygu99@gmail.com> | 2015-04-10 20:47:55 +0300 |
---|---|---|
committer | Michael Niedermayer <michaelni@gmx.at> | 2015-04-11 02:00:07 +0300 |
commit | 5faca08cafc17247ad392620e3b26ab4a70dc4ce (patch) | |
tree | b9abc12aa533de6145a9c6d80125565d25ef0cf8 /doc | |
parent | 1a562adb0101ac8372593b56ccd1bdb4ebb96b72 (diff) |
texi2pod: Handle @verbatim
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
Diffstat (limited to 'doc')
-rw-r--r-- | doc/texi2pod.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/texi2pod.pl b/doc/texi2pod.pl index 6127dd838a..e1ff6b46d4 100644 --- a/doc/texi2pod.pl +++ b/doc/texi2pod.pl @@ -166,7 +166,7 @@ INF: while(<$inf>) { if ($ended =~ /^(?:ifset|ifclear|ignore|menu|iftex|ifhtml|ifnothtml)$/) { $skipping = pop @skstack; next; - } elsif ($ended =~ /^(?:example|smallexample|display)$/) { + } elsif ($ended =~ /^(?:example|smallexample|verbatim|display)$/) { $shift = ""; $_ = ""; # need a paragraph break } elsif ($ended =~ /^(?:itemize|enumerate|(?:multi|[fv])?table)$/) { @@ -290,7 +290,7 @@ INF: while(<$inf>) { $_ = "\n=over 4\n"; }; - /^\@((?:small)?example|display)/ and do { + /^\@((?:small)?example|verbatim|display)/ and do { push @endwstack, $endw; $endw = $1; $shift = "\t"; |