From a7f6a38794e0ec829d8033fbf8484cd9f003851a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Javier=20Fernandez-Sanguino=20Pe=C3=B1a?= <jfs@debian.org>
Date: Sun, 18 Mar 2007 18:17:41 +0000
Subject: Commit revisions by Carlos Galisteo

---
 es/welcome/what-is-linux.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'es/welcome')

diff --git a/es/welcome/what-is-linux.xml b/es/welcome/what-is-linux.xml
index 066cb88a9..cd9bf53d7 100644
--- a/es/welcome/what-is-linux.xml
+++ b/es/welcome/what-is-linux.xml
@@ -2,6 +2,7 @@
 <!-- original version: 45186 -->
 <!-- revisado por nahoo, 9 octubre 2004 -->
 <!-- revisado por Rudy Godoy, 22 feb. 2005 -->
+<!-- revisado por Carlos Galisteo, marzo 2007 -->
 
  <sect1 id="what-is-linux">
  <title>¿Qué es GNU/Linux?</title>
@@ -42,7 +43,7 @@ comenz
 
 </para><para>
 
-El <ulink url="url-gnu;">proyecto GNU</ulink> ha desarrollado un conjunto de herramientas de
+El <ulink url="&url-gnu;">proyecto GNU</ulink> ha desarrollado un conjunto de herramientas de
 software libre para ser utilizados por Unix&trade; y sistemas
 operativos tipo Unix como Linux. Estas herramientas permiten a los
 usuarios desarrollar tareas que van desde las mundanas (como copiar o
-- 
cgit v1.2.3