Dirk-Jan C. Binnema 812d78be49 mu-scm: add options, some tweaks ...

Add the (options) procedure + docs.

Some internal tweaks / clean-ups.

2025-06-30 21:57:29 +03:00

..

author.inc

man: generate manpages from .org files

2022-12-29 10:41:16 +02:00

bugs.inc

man: generate manpages from .org files

2022-12-29 10:41:16 +02:00

common-options.inc

man: update description of logging

2024-09-24 23:33:00 +03:00

copyright.inc.in

mu-man: use more bold text

2024-07-18 10:01:45 +09:00

exit-code.inc

mu-man: typeset reference in included file

2024-07-22 15:26:27 +09:00

macros.inc

mu-man: add macro for referencing manual pages

2024-07-22 14:48:29 +09:00

meson.build

mu-scm: add man-page

2025-06-19 14:58:03 +03:00

mu-add.1.org

mu-man: improve typesetting of references

2024-07-22 15:18:46 +09:00

mu-bookmarks.5.org

mu-man: typeset file names using underlining

2024-07-22 15:40:57 +09:00

mu-cfind.1.org

mu: rename --my-address into --personal-address

2025-05-24 17:17:00 +03:00

mu-easy.7.org

mu-man: typeset file names using underlining

2024-07-22 15:40:57 +09:00

mu-extract.1.org

mu-man: typeset option values differently

2024-07-22 16:09:17 +09:00

mu-find.1.org

mu-find: implement format=json2

2025-03-23 19:47:09 +02:00

mu-help.1.org

mu-man: use more bold text

2024-07-18 10:01:45 +09:00

mu-index.1.org

man: update mu-index manpage

2025-05-31 08:40:53 +03:00

mu-info.1.org

mu-man: improve typesetting of references

2024-07-22 15:18:46 +09:00

mu-init.1.org

mu: rename --my-address into --personal-address

2025-05-24 17:17:00 +03:00

mu-mkdir.1.org

mu-man: typeset option values differently

2024-07-22 16:09:17 +09:00

mu-move.1.org

mu-man: typeset option values differently

2024-07-22 16:09:17 +09:00

mu-query.7.org

man: escape a couple of back-slashes

2025-03-10 21:44:28 +00:00

mu-remove.1.org

mu-man: improve typesetting of references

2024-07-22 15:18:46 +09:00

mu-scm.1.org

mu-scm: add options, some tweaks

2025-06-30 21:57:29 +03:00

mu-server.1.org

mu-man: typeset option values differently

2024-07-22 16:09:17 +09:00

mu-verify.1.org

mu-man: typeset option values differently

2024-07-22 16:09:17 +09:00

mu-view.1.org

mu-man: typeset option values differently

2024-07-22 16:09:17 +09:00

mu.1.org

mu.1.org: update COLOR information

2025-01-26 18:56:38 +02:00

muhome.inc

mu-man: typeset option values differently

2024-07-22 16:09:17 +09:00

prefooter.inc

man: generate manpages from .org files

2022-12-29 10:41:16 +02:00