<div dir="auto">Great, thanks! </div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">El sáb., 14 de enero de 2023 5:15 p. m., Karl Berry <<a href="mailto:karl@freefriends.org">karl@freefriends.org</a>> escribió:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Nacho - I committed the new version, thanks much.<br>
<br>
We make small tweaks to the document pretty often. It wouldn't be worth<br>
updating the translation with every change. I guess the thing to do is<br>
get in touch at some point before making a release, so it can get synced<br>
up. At any rate, I'll work on making a release over the next few days.<br>
(No other changes pending at the moment.)<br>
<br>
Meanwhile, below is a diff from the version you sent me to what I committed.<br>
<br>
1) no full pathname in the @setfilename please.<br>
<br>
2) It's important to have @documentlanguage es in the header to get<br>
Spanish hyphenation in the TeX output. The UTF-8 is for clarity.<br>
<br>
3) Missing } in one of the TeX examples.<br>
<br>
4) Wrong command names for \owns and \wedge.<br>
<br>
Thanks,<br>
Karl<br>
<br>
<br>
--- ./nacho/latex2e-es.texi 2023-01-14 15:02:05.257295070 -0800<br>
+++ ./latex2e-es.texi 2023-01-14 15:06:45.224361626 -0800<br>
@@ -4 +4,3 @@<br>
-@setfilename ../../../../info/<a href="http://latex2e-es.info" rel="noreferrer noreferrer" target="_blank">latex2e-es.info</a><br>
+@setfilename <a href="http://latex2e-es.info" rel="noreferrer noreferrer" target="_blank">latex2e-es.info</a><br>
+@documentlanguage es<br>
+@documentencoding utf-8<br>
@@ -8854 +8856 @@<br>
-(Es decir, {\tt\char`\}).<br>
+(Es decir, {\tt\char`\}}).<br>
@@ -13287 +13289 @@<br>
-@BES{220B,\posee} épsilon de membresía reflejada; tiene el miembro<br>
+@BES{220B,\owns} épsilon de membresía reflejada; tiene el miembro<br>
@@ -13656 +13658 @@<br>
-@BES{2227,\wedget} y lógico (binario). Sinónimo:@tie{}@code{\land}.<br>
+@BES{2227,\wedge} y lógico (binario). Sinónimo:@tie{}@code{\land}.<br>
</blockquote></div>