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
8fdbe95527
man: small improvements
2023-07-02 11:17:55 +03:00
dcc1b9dced
man: update copyright year
2023-01-01 15:01:26 +02:00
4b00ea0635
man: update man pages
...
Explicitly mention PCRE where appropriate.
Include section headers (through MAN_CLASS_OPTIONS)
Fix mu-easy manpage
Make date dynamic
2022-12-30 11:15:03 +02: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
