547cc4ce74
mu-man: typeset option values differently
...
Use underlining only, do not use <>, as it is the most often done.
2024-07-22 16:09:17 +09:00
cee4823f33
mu-man: typeset file names using underlining
...
Make the emphasis more consistent, and do it using underscores in
Org documents, since verbatim is rendered as underlined anyway.
2024-07-22 15:40:57 +09:00
dcc3807155
mu-man: improve typesetting of references
...
Try to stick to the man-pages(7) standard.
2024-07-22 15:18:46 +09:00
96f8729cb5
mu-man: use more bold text
...
Make occurences of "mu", small commands such as "mu init", and
command-line arguments bold.
2024-07-18 10:01:45 +09:00
a259ae4162
man: generate manpages from .org files
...
Generate the manpages from org-documents which makes it a bit easier to
keep them update to date since I find org-syntax easier than troff, and
we can use include files.
2022-12-29 10:41:16 +02:00
