Web-es: add missing '@end ifset'

diff --git a/Documentation/es/web.texi b/Documentation/es/web.texi
index a78299c5d851c1127b38b45f636687672992d87e..60c36c04461110e8a7e3222a3bec1382667ed15f 100644 (file)
--- a/Documentation/es/web.texi
+++ b/Documentation/es/web.texi
@@ -124,6 +124,7 @@ mediante ordenador.
 @ifset web_version
   @c make the box:
 @divId{latestVersion}
+
 @subheading Enlaces rápidos
 
 @c TODO: javascript to detect OS and suggest download?
@@ -141,7 +142,7 @@ mediante ordenador.
 @ref{Development, Manuales de @versionDevel}
 
 @divEnd
-
+@end ifset
 
 @ifnottex