Tristan Riehs 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

..

author.inc

…

bugs.inc

…

common-options.inc

…

copyright.inc.in

…

exit-code.inc

mu-man: typeset reference in included file

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

macros.inc

…

meson.build

…

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-man: typeset option values differently

2024-07-22 16:09:17 +09: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-man: typeset option values differently

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

mu-help.1.org

…

mu-index.1.org

mu-man: typeset option values differently

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

mu-info.1.org

mu-man: improve typesetting of references

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

mu-init.1.org

mu-man: typeset option values differently

2024-07-22 16:09:17 +09: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

mu-man: typeset file names using underlining

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

mu-remove.1.org

mu-man: improve typesetting of references

2024-07-22 15:18:46 +09: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-man: improve typesetting of references

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

muhome.inc

mu-man: typeset option values differently

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

prefooter.inc

…