1
0
mirror of https://github.com/djcb/mu.git synced 2024-06-23 07:16:48 +02:00
mu/man/mu-remove.1.org
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

29 lines
580 B
Org Mode

#+TITLE: MU REMOVE
#+MAN_CLASS_OPTIONS: :section-id "@SECTION_ID@" :date "@MAN_DATE@"
* NAME
*mu remove* - command to remove messages from the database.
* SYNOPSIS
*mu [common-options] remove [options] <file> [<files>]*
* DESCRIPTION
*mu remove* removes specific messages from the database, each of them specified by
their filename. The files do not have to exist in the file system.
* REMOVE OPTIONS
#+include: "muhome.inc" :minlevel 2
#+include: "common-options.inc" :minlevel 1
#+include: "prefooter.inc" :minlevel 1
* SEE ALSO
*mu(1)*, *mu-index(1)*, *mu-add(1)*