diff options
-rw-r--r-- | TODOs.md | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -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} |