fix debian11 package name in installer.sh

gnu-linux/make_installer_zip.sh.in

@@ -38,7 +38,7 @@ get_dest_package_filename () {
   distro=$1
   res=""
   case "$distro" in
-    "debian10" | "ubuntu"*)
+    "debian"* | "ubuntu"*)
       res="$prefix-1_amd64.deb"
       ;;
     "archlinux")

meson_options.txt

@@ -63,8 +63,7 @@ option (
 option (
   'locales', type: 'array',
   choices : [
-    # TODO enable es
-    'en', 'de', 'fr', 'it', 'ja', 'pt',
+    'en', 'es', 'de', 'fr', 'it', 'ja', 'pt',
     ],
   description: 'Locales for the manual')