Generate es and pt dictionaries, too.

diff --git a/generate_dictionaries.sh b/generate_dictionaries.sh
index ba913be572656081ef272331da7a19d10fd6a6d0..33097007596d0e74705f281aa5ed5e5258c5fe66 100755 (executable)
--- a/generate_dictionaries.sh
+++ b/generate_dictionaries.sh
@@ -10,7 +10,7 @@ IT_DICTS=true
 EN_TRANS_DICTS=true
 #EN_TRANS_DICTS=false
 # Spanish is unfortunately not yet working
-SINGLE_DICTS="en de fr it"
+SINGLE_DICTS="en de fr it es pt"
 #SINGLE_DICTS=""
 
 VERSION=v007