Files

 master

/

man

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

Tristan Riehs

mu-man: typeset option values differently

Jul 22, 2024

547cc4c · Jul 22, 2024

History

History

This branch is 211 commits behind djcb/mu:master.

/

man

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
author.inc		author.inc	man: generate manpages from .org files	Dec 29, 2022
bugs.inc		bugs.inc	man: generate manpages from .org files	Dec 29, 2022
common-options.inc		common-options.inc	mu-man: use more bold text	Jul 18, 2024
copyright.inc.in		copyright.inc.in	mu-man: use more bold text	Jul 18, 2024
exit-code.inc		exit-code.inc	mu-man: typeset reference in included file	Jul 22, 2024
macros.inc		macros.inc	mu-man: add macro for referencing manual pages	Jul 22, 2024
meson.build		meson.build	mu-man: add macro for referencing manual pages	Jul 22, 2024
mu-add.1.org		mu-add.1.org	mu-man: improve typesetting of references	Jul 22, 2024
mu-bookmarks.5.org		mu-bookmarks.5.org	mu-man: typeset file names using underlining	Jul 22, 2024
mu-cfind.1.org		mu-cfind.1.org	mu-man: typeset option values differently	Jul 22, 2024
mu-easy.7.org		mu-easy.7.org	mu-man: typeset file names using underlining	Jul 22, 2024
mu-extract.1.org		mu-extract.1.org	mu-man: typeset option values differently	Jul 22, 2024
mu-find.1.org		mu-find.1.org	mu-man: typeset option values differently	Jul 22, 2024
mu-help.1.org		mu-help.1.org	mu-man: use more bold text	Jul 18, 2024
mu-index.1.org		mu-index.1.org	mu-man: typeset option values differently	Jul 22, 2024
mu-info.1.org		mu-info.1.org	mu-man: improve typesetting of references	Jul 22, 2024
mu-init.1.org		mu-init.1.org	mu-man: typeset option values differently	Jul 22, 2024
mu-mkdir.1.org		mu-mkdir.1.org	mu-man: typeset option values differently	Jul 22, 2024
mu-move.1.org		mu-move.1.org	mu-man: typeset option values differently	Jul 22, 2024
mu-query.7.org		mu-query.7.org	mu-man: typeset file names using underlining	Jul 22, 2024
mu-remove.1.org		mu-remove.1.org	mu-man: improve typesetting of references	Jul 22, 2024
mu-server.1.org		mu-server.1.org	mu-man: typeset option values differently	Jul 22, 2024
mu-verify.1.org		mu-verify.1.org	mu-man: typeset option values differently	Jul 22, 2024
mu-view.1.org		mu-view.1.org	mu-man: typeset option values differently	Jul 22, 2024
mu.1.org		mu.1.org	mu-man: improve typesetting of references	Jul 22, 2024
muhome.inc		muhome.inc	mu-man: typeset option values differently	Jul 22, 2024
prefooter.inc		prefooter.inc	man: generate manpages from .org files	Dec 29, 2022
View all files