From 53fc988c4110e5a809d5780483c6a072c2dfae4e Mon Sep 17 00:00:00 2001
From: Einhard Leichtfuß <alguien@respiranto.de>
Date: Sun, 23 Dec 2018 17:31:46 +0100
Subject: Allow for different licenses

Therefore, separate types of dictionaries in the configuration sections.

Reason: The dictionaries imported from wikdict are differently licensed.
---
 basic.sh | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)

(limited to 'basic.sh')

diff --git a/basic.sh b/basic.sh
index 891d9c5..0cb5186 100644
--- a/basic.sh
+++ b/basic.sh
@@ -25,14 +25,7 @@
 
 # All methods operate on the file "$tmp".
 
-typeset -a langs
-langs=(
-	fra-deu deu-fra
-	deu-eng eng-deu
-	fra-eng eng-fra
-	spa-eng eng-spa
-	)
-
+# Dictionaries in the VCS tree, GPL2 assumed.
 typeset -a vcs_langs
 vcs_langs=(
 	deu-eng eng-deu
@@ -40,6 +33,14 @@ vcs_langs=(
 	spa-eng eng-spa
 	)
 
+typeset -a wikdict_langs
+wikdict_langs=(
+	fra-deu deu-fra
+	)
+
+typeset -a langs
+langs=( ${vcs_langs[@]} ${wikdict_langs[@]} )
+
 function init
 {
 	tmp_d="$(mktemp -d)"
-- 
cgit v1.2.3