diff options
author | Thomas Waldmann <tw@waldmann-edv.de> | 2022-02-05 17:31:26 +0100 |
---|---|---|
committer | Thomas Waldmann <tw@waldmann-edv.de> | 2022-02-05 17:52:25 +0100 |
commit | 55591b882ee81b91b973cf6b0a6d69dab3458fa6 (patch) | |
tree | 63d5f5158e681c90af7230bcd2a6e6ea6c924d2b /setup_docs.py | |
parent | fa26d5f7c45b253943ca445caa698096dea03041 (diff) |
setup_docs: put import-tar into same file as export-tar
Diffstat (limited to 'setup_docs.py')
-rw-r--r-- | setup_docs.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/setup_docs.py b/setup_docs.py index eb44b608..d326ec8d 100644 --- a/setup_docs.py +++ b/setup_docs.py @@ -307,6 +307,7 @@ class build_man(Command): 'key_migrate-to-repokey': 'key', 'export-tar': 'tar', + 'import-tar': 'tar', 'benchmark_crud': 'benchmark', |