aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorYuri Chornoivan <yurchor@ukr.net>2017-01-13 16:47:25 +0200
committerYuri Chornoivan <yurchor@ukr.net>2017-01-13 16:47:25 +0200
commit360fe5f026a40dfddd7752fd6ae6b579b92608ad (patch)
treea9dcf9b3b5a825cb5e7c4a3cc9ae4a9c2c8d76be
parentf25d280438069d692d1665fd97d63ee0bc076b38 (diff)
downloadtools-360fe5f026a40dfddd7752fd6ae6b579b92608ad.tar
tools-360fe5f026a40dfddd7752fd6ae6b579b92608ad.tar.gz
tools-360fe5f026a40dfddd7752fd6ae6b579b92608ad.tar.bz2
tools-360fe5f026a40dfddd7752fd6ae6b579b92608ad.tar.xz
tools-360fe5f026a40dfddd7752fd6ae6b579b92608ad.zip
Fix Spanish translation
-rw-r--r--docs/mcc-help/es.po4
-rw-r--r--docs/mcc-help/es/drakboot.xml3
2 files changed, 3 insertions, 4 deletions
diff --git a/docs/mcc-help/es.po b/docs/mcc-help/es.po
index d47a985a..c2cef9b5 100644
--- a/docs/mcc-help/es.po
+++ b/docs/mcc-help/es.po
@@ -1054,8 +1054,8 @@ msgid ""
"installed in /boot/EFI partition. This FAT32 formatted partition is common "
"to all operating systems installed."
msgstr ""
-"En el sistema UEFI, el gestor de arranque es <label gui> Grub2-efi <label / "
-"gui> y se instala en / boot / EFI. Esta partición con formato FAT32 es común "
+"En el sistema UEFI, el gestor de arranque es <guilabel> Grub2-efi </guilabel> "
+"y se instala en / boot / EFI. Esta partición con formato FAT32 es común "
"a todos los sistemas operativos instalados."
#. type: Content of: <section><para>
diff --git a/docs/mcc-help/es/drakboot.xml b/docs/mcc-help/es/drakboot.xml
index 26f30545..b805a80a 100644
--- a/docs/mcc-help/es/drakboot.xml
+++ b/docs/mcc-help/es/drakboot.xml
@@ -46,8 +46,7 @@ que sea un usuario experto. En el dispositivo de arranque se encuentra el
cargador de arranque, y cualquier modificación podría impedir el arranque de
su equipo.</para>
- <para>En el sistema UEFI, el gestor de arranque es <label gui> Grub2-efi <label /
-gui> y se instala en / boot / EFI. Esta partición con formato FAT32 es común
+ <para>En el sistema UEFI, el gestor de arranque es <guilabel> Grub2-efi </guilabel> y se instala en / boot / EFI. Esta partición con formato FAT32 es común
a todos los sistemas operativos instalados.</para>
<para>En la segunda parte, llamada <guilabel>Opciones principales</guilabel>,