diff options
author | Kristaps Dzonsons <kristaps@bsd.lv> | 2010-04-08 07:05:38 +0000 |
---|---|---|
committer | Kristaps Dzonsons <kristaps@bsd.lv> | 2010-04-08 07:05:38 +0000 |
commit | 9085ee212aa6894a65b5f254b99d53eb241d6300 (patch) | |
tree | ac2e1313a5d6b4a5fe674d56d126f367dc9e0534 /html.c | |
parent | 0e43a932e56d8a395f7c68eae74f4a3cfaabfc41 (diff) | |
download | mandoc-9085ee212aa6894a65b5f254b99d53eb241d6300.tar.gz |
Removed pipe from front-end ("typographic") recognition as punctuation (noted by Ingo Schwarze).
Diffstat (limited to 'html.c')
-rw-r--r-- | html.c | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -521,10 +521,12 @@ print_text(struct html *h, const char *p) if ( ! print_encode(h, p, 0)) h->flags &= ~HTML_NOSPACE; + /* + * Note that we don't process the pipe: the parser sees it as + * punctuation, but we don't in terms of typography. + */ if (*p && 0 == *(p + 1)) switch (*p) { - case('|'): - /* FALLTHROUGH */ case('('): /* FALLTHROUGH */ case('['): |