diff options
| author | Thomas Waldmann <tw@waldmann-edv.de> | 2018-07-12 22:00:19 +0200 |
|---|---|---|
| committer | Thomas Waldmann <tw@waldmann-edv.de> | 2018-07-14 14:56:29 +0200 |
| commit | a8d52351bb41dbe82c6fef6010465e05cf4dc43e (patch) | |
| tree | e450348716f138035e3d074b9f102f7e111752eb /setup_docs.py | |
| parent | e6fcf4ea42517b019e3c7ef2c4d833b57ac23ac4 (diff) | |
update man pages / usage docs
Diffstat (limited to 'setup_docs.py')
| -rw-r--r-- | setup_docs.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/setup_docs.py b/setup_docs.py index e2bc1f97a..609fcd3fa 100644 --- a/setup_docs.py +++ b/setup_docs.py @@ -273,6 +273,8 @@ class build_man(Command): 'mount': ('umount', 'extract'), # Would be cooler if these two were on the same page 'umount': ('mount', ), 'extract': ('mount', ), + 'delete': ('compact', ), + 'prune': ('compact', ), } rst_prelude = textwrap.dedent(""" |