The diff inserts some space above the footer.
This improves readability and makes it similar to the other output formats.

Here is an example found in the wild, demonstrating the problem:
https://webassembly.github.io/wabt/doc/wasm-objdump.1.html



Index: html.c
===================================================================
RCS file: /cvs/src/usr.bin/mandoc/html.c,v
retrieving revision 1.117
diff -u -p -u -p -r1.117 html.c
--- html.c      15 Dec 2018 23:33:20 -0000      1.117
+++ html.c      20 Dec 2018 13:38:14 -0000
@@ -183,6 +183,8 @@ print_gen_head(struct html *h)
        t = print_otag(h, TAG_STYLE, "");
        print_text(h, "table.head, table.foot { width: 100%; }");
        print_endline(h);
+       print_text(h, "table.foot { margin-top: 3em; }");
+       print_endline(h);
        print_text(h, "td.head-rtitle, td.foot-os { text-align: right; }");
        print_endline(h);
        print_text(h, "td.head-vol { text-align: center; }");


Reply via email to