From ede05190b4208ccae60387e5712389aaa8c2534d Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Mon, 15 Mar 2021 18:27:54 +0100
Subject: [PATCH] create-split-doc: /share/info/ now is part of -doc

---
 bin/create-split-doc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/create-split-doc b/bin/create-split-doc
index 153f194..bc9a78a 100755
--- a/bin/create-split-doc
+++ b/bin/create-split-doc
@@ -7,4 +7,4 @@
 # For documentation, move any file or directory matching:
 # - "/share/doc"
 
-create_split ${pkg_fake_root_doc_dir} "/share/doc/"
+create_split ${pkg_fake_root_doc_dir} "/share/doc/" "/share/info/"