diff options
author | Yuri Chornoivan <yurchor@ukr.net> | 2017-01-13 16:47:25 +0200 |
---|---|---|
committer | Yuri Chornoivan <yurchor@ukr.net> | 2017-01-13 16:47:25 +0200 |
commit | 360fe5f026a40dfddd7752fd6ae6b579b92608ad (patch) | |
tree | a9dcf9b3b5a825cb5e7c4a3cc9ae4a9c2c8d76be /docs | |
parent | f25d280438069d692d1665fd97d63ee0bc076b38 (diff) | |
download | tools-360fe5f026a40dfddd7752fd6ae6b579b92608ad.tar tools-360fe5f026a40dfddd7752fd6ae6b579b92608ad.tar.gz tools-360fe5f026a40dfddd7752fd6ae6b579b92608ad.tar.bz2 tools-360fe5f026a40dfddd7752fd6ae6b579b92608ad.tar.xz tools-360fe5f026a40dfddd7752fd6ae6b579b92608ad.zip |
Fix Spanish translation
Diffstat (limited to 'docs')
-rw-r--r-- | docs/mcc-help/es.po | 4 | ||||
-rw-r--r-- | docs/mcc-help/es/drakboot.xml | 3 |
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>, |