index
:
mu.git
master
release/1.10
release/1.12
release/1.4.x
release/1.6
release/1.8
Unnamed repository; edit this file 'description' to name the repository.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
man
/
mu-index.1.org
Age
Commit message (
Expand
)
Author
2025-08-26
Replace "the the " with "the "
Anton Mosich
2025-05-31
man: update mu-index manpage
Dirk-Jan C. Binnema
2024-11-10
indexer: make lazy check even lazier
Dirk-Jan C. Binnema
2024-07-22
mu-man: typeset option values differently
Tristan Riehs
2024-07-22
mu-man: typeset file names using underlining
Tristan Riehs
2024-07-22
mu-man: improve typesetting of references
Tristan Riehs
2024-07-18
mu-man: use more bold text
Tristan Riehs
2024-07-17
mu-man: improve typesetting of synopses
Tristan Riehs
2024-04-05
mu: add --reindex option for mu index
Dirk-Jan C. Binnema
2024-03-19
mu-index.1: fix typo
Ulrich Ölmann
2024-03-07
mu-index.1: add note about encryption
Dirk-Jan C. Binnema
2024-03-06
man: change quoting style
Jeremy Sowden
2024-03-06
man: fix formatting of `NAME` sections
Jeremy Sowden
2024-03-06
man: disable captions in tables
Jeremy Sowden
2023-08-06
man: add performance notes to find/index/server manpages
Dirk-Jan C. Binnema
2023-07-18
man: update mu-index manpage
Dirk-Jan C. Binnema
2023-01-29
man: improve exit code descriptions
Dirk-Jan C. Binnema
2022-12-30
man: update man pages
Dirk-Jan C. Binnema
2022-12-29
man: generate manpages from .org files
Dirk-Jan C. Binnema