This completes in theory a full update of Spanish web and
documentation. Next is texidocs (snippet documentation), which is a
huge task as there are 330 outdated files.
@c -*- coding: utf-8; mode: texinfo; documentlanguage: es -*-
@ignore
- Translation of GIT committish: 6b8cabe379e8b4b945797a4e55759c56117223d4
+ Translation of GIT committish: 8cea88f78f766476cbb82cb7e53b1f6223159cb2
When revising a translation, copy the HEAD committish of the
version that you are working on. For details, see the Contributors'