From 39f26a2ae6a8128a460e7f70736c097384301141 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Tue, 13 Jul 2021 22:43:33 -0300 Subject: TODOs.md: Mark #question-539a1902-ed41-fc93-806a-088b6caf8134 as DONE --- TODOs.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/TODOs.md b/TODOs.md index b326f03..d95fb0c 100644 --- a/TODOs.md +++ b/TODOs.md @@ -509,7 +509,12 @@ So here I'm optimizing for more things being commited in the repository in the n # Questions -## TODO Should I switch from pandoc to groff for generating HTML? {#question-539a1902-ed41-fc93-806a-088b6caf8134} +## DONE Should I switch from pandoc to groff for generating HTML? {#question-539a1902-ed41-fc93-806a-088b6caf8134} +- DONE in 2021-07-13 + + No. + + Pandoc is too lenient with man, and knows only about man and not about the rest of troffs toolchain (`tbl`, `eqn`, `pic`, etc.), but groff is worst on Unicode, so we stick to pandoc. - TODO in 2021-07-10 ## DONE Is an empty blank line in groff the same as a `.P` request? {#question-e3b7748d-2e67-b60b-e966-ad80c754ea58} -- cgit v1.2.3