Removing files.php

diff --git a/lang/es_es/docs/files.php b/lang/es_es/docs/files.php
deleted file mode 100644 (file)
index 3f948f6..0000000
--- a/lang/es_es/docs/files.php
+++ /dev/null
@@ -1,21 +0,0 @@
-<?PHP // $Id$\r
-      // Names of the documentation files\r
-         // Traducci&oacute;n al espa&ntilde;ol: Emmanuelle Guti&eacute;rrez\r
-         // (emmanuelle@sidar.org) y Claudio Tavares (claudio@enlaceacademico.com)\r
-\r
-$string['intro.html'] = "Introducci&oacute;n";\r
-$string['background.html'] = "Antecedentes";\r
-$string['features.html'] = "Caracter&iacute;sticas";\r
-$string['release.html'] = "Notas de versiones";\r
-$string['install.html'] = "Instalaci&oacute;n";\r
-$string['upgrade.html'] = "Actualizaci&oacute;n";\r
-$string['faq.html'] = "FAQ";\r
-$string['teacher.html'] = "Manual del Profesor";\r
-$string['developer.html'] = "Manual del Desarrollador";\r
-$string['cvs.html'] = "C&oacute;mo usar el CVS";\r
-$string['future.html'] = "Futuro";\r
-$string['credits.html'] = "Cr&eacute;ditos";\r
-$string['licence.html'] = "Licencia";\r
-\r
-\r
-?>\r