diff options
-rwxr-xr-x | buildtools/makeman | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/buildtools/makeman b/buildtools/makeman index 13c54a70..b1d30afd 100755 --- a/buildtools/makeman +++ b/buildtools/makeman @@ -231,6 +231,7 @@ def makeman(name, file, indoc): indoc = indoc.replace("μ", "mu") indoc = indoc.replace("σ", "sigma") # Tables + # This will not handle rowspan indoc = re.sub('(?i) *<table[^>]*>.*', ".TS", indoc) indoc = re.sub("(?i) *</table>.*", ".TE", indoc) # First the single-line case |