diff options
| author | Nicolas George <nicolas.george@normalesup.org> | 2012-11-11 18:44:10 +0100 |
|---|---|---|
| committer | Nicolas George <nicolas.george@normalesup.org> | 2012-11-17 19:47:56 +0100 |
| commit | ee2d6fbc92e6d55dda319fa56234c5be9a476728 (patch) | |
| tree | 07631a908895f322f2e41e048ecf43999f7b767b /doc/texi2pod.pl | |
| parent | 29e388abcbc4959731c94eb4408cf46a849113b1 (diff) | |
doc/texi2pod: recognize @table @command.
Diffstat (limited to 'doc/texi2pod.pl')
| -rwxr-xr-x | doc/texi2pod.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/texi2pod.pl b/doc/texi2pod.pl index a057651175..d20fac6bf6 100755 --- a/doc/texi2pod.pl +++ b/doc/texi2pod.pl @@ -268,7 +268,7 @@ INF: while(<$inf>) { push @icstack, $ic; $endw = $1; $ic = $2; - $ic =~ s/\@(?:samp|strong|key|gcctabopt|option|env)/B/; + $ic =~ s/\@(?:samp|strong|key|gcctabopt|option|env|command)/B/; $ic =~ s/\@(?:code|kbd)/C/; $ic =~ s/\@(?:dfn|var|emph|cite|i)/I/; $ic =~ s/\@(?:file)/F/; |