1 files changed, 7 insertions, 7 deletions
diff --git a/es/welcome/what-is-linux.xml b/es/welcome/what-is-linux.xml
index c8e88be3d..570767972 100644
--- a/es/welcome/what-is-linux.xml
+++ b/es/welcome/what-is-linux.xml
@@ -54,7 +54,7 @@ de documento).
 
 Aunque hay muchos grupos e individuos que han contribuido a Linux,
 la Free Software Foundation ha sido quien más ha contribuido. No sólo
-creó la mayor parte de las herramientas que se utilizan en Linux sino 
+creó la mayor parte de las herramientas que se utilizan en Linux sino
 también la filosofía y comunidad que hizo que Linux fuera posible.
 
 </para><para>
@@ -64,14 +64,14 @@ vez en 1991, cuando un estudiante de informática finlandés llamado
 Linus Torvalds anunció en el grupo de noticias de USENET
 <userinput>comp.os.minix</userinput>, una primera versión de un núcleo
 de reemplazo para Minix.
-Para más referencias consulte la <ulink url="&url-linux-history;">página de 
+Para más referencias consulte la <ulink url="&url-linux-history;">página de
 historia de Linux</ulink> en Linux Internacional.
 
 </para><para>
 
 Linus Torvalds sigue coordinando el trabajo de varios cientos de
 desarrolladores con la ayuda de algunas personas de confianza. Se puede encontrar un
-excelente resumen semanal de las discusiones en la lista de correo 
+excelente resumen semanal de las discusiones en la lista de correo
 <userinput>linux-kernel</userinput> en <ulink url="&url-kernel-traffic;">
 Kernel Traffic</ulink>. Se puede encontrar más información sobre la
 lista de correo <userinput>linux-kernel</userinput> en el documento <ulink
@@ -89,10 +89,10 @@ de órdenes o el entorno de escritorio.
 </para><para>
 
 Es menos probable que un sistema Linux se colapse, además tiene mejor
-capacidad para ejecutar múltiples programas al mismo tiempo y es más 
-seguro que muchos otros sistemas operativos. Debido a estas ventajas, 
-Linux es el sistema operativo que ha experimentado mayor crecimiento 
-en el mercado de los servidores. Últimamente, Linux está empezando 
+capacidad para ejecutar múltiples programas al mismo tiempo y es más
+seguro que muchos otros sistemas operativos. Debido a estas ventajas,
+Linux es el sistema operativo que ha experimentado mayor crecimiento
+en el mercado de los servidores. Últimamente, Linux está empezando
 a ser popular entre los usuarios domésticos y en empresas.
 
 </para>