From 55591b882ee81b91b973cf6b0a6d69dab3458fa6 Mon Sep 17 00:00:00 2001
From: Thomas Waldmann <tw@waldmann-edv.de>
Date: Sat, 5 Feb 2022 17:31:26 +0100
Subject: [PATCH] setup_docs: put import-tar into same file as export-tar

---
 setup_docs.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/setup_docs.py b/setup_docs.py
index eb44b608e..d326ec8d2 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',