Dirk-Jan C. Binnema
d96e9cc4ba
mu-info: improve docs; better colors
2023-07-06 19:13:14 +03:00
Dirk-Jan C. Binnema
fee95e1010
man: update documentation (language detection)
2023-05-11 23:29:05 +03:00
Dirk-Jan C. Binnema
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
Dirk-Jan C. Binnema
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