diff options
| author |   Ingo Schwarze <schwarze@openbsd.org> | 2018-06-25 14:53:58 +0000 |
|---|---|---|
| committer | Ingo Schwarze <schwarze@openbsd.org> | 2018-06-25 14:53:58 +0000 |
| commit | ad1184bd182b6e22f60994fe3cb07fe6715559ed (patch) | |
| tree | 9f5c1fd989d685534db995d3dcb5e17acbef9f16 | |
| parent | 43aad0f89789ab26d47deeb9bf1361069e817ce9 (diff) | |
| download | mandoc-ad1184bd182b6e22f60994fe3cb07fe6715559ed.tar.gz mandoc-ad1184bd182b6e22f60994fe3cb07fe6715559ed.tar.zst mandoc-ad1184bd182b6e22f60994fe3cb07fe6715559ed.zip | |
Get rid of the last explicit length in HTML style= attributes.
Even though style=height is not particularly harmful for responsive
design except for very large arguments which don't really occur in
practice, it is not useful either: nobody should use .sp in manual
pages, in particular not with an argument. Even if somebody does,
ignoring the argument will likely make the output look better rather
than worse. Consequently, simplify by dropping a useless feature.
| -rw-r--r-- | roff_html.c | 16 |
1 files changed, 3 insertions, 13 deletions
diff --git a/roff_html.c b/roff_html.c index 53ae6d7c..6a06c0d8 100644 --- a/roff_html.c +++ b/roff_html.c @@ -1,7 +1,7 @@ -/* $Id: roff_html.c,v 1.11 2017/06/24 14:38:33 schwarze Exp $ */ +/* $Id: roff_html.c,v 1.12 2018/06/25 14:53:58 schwarze Exp $ */ /* * Copyright (c) 2010 Kristaps Dzonsons <kristaps@bsd.lv> - * Copyright (c) 2014, 2017 Ingo Schwarze <schwarze@openbsd.org> + * Copyright (c) 2014, 2017, 2018 Ingo Schwarze <schwarze@openbsd.org> * * Permission to use, copy, modify, and distribute this software for any * purpose with or without fee is hereby granted, provided that the above @@ -82,15 +82,5 @@ roff_html_pre_ce(ROFF_HTML_ARGS) static void roff_html_pre_sp(ROFF_HTML_ARGS) { - struct roffsu su; - - SCALE_VS_INIT(&su, 1); - if ((n = n->child) != NULL) { - if (a2roffsu(n->string, &su, SCALE_VS) == NULL) - su.scale = 1.0; - else if (su.scale < 0.0) - su.scale = 0.0; - } - print_otag(h, TAG_DIV, "suh", &su); - print_text(h, "\\~"); /* So the div isn't empty. */ + print_paragraph(h); } |