diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/local.mk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/local.mk b/doc/local.mk index 18115fb295..e95e24243b 100644 --- a/doc/local.mk +++ b/doc/local.mk @@ -22,6 +22,7 @@ # along with GNU Guix. If not, see <http://www.gnu.org/licenses/>. info_TEXINFOS = %D%/guix.texi \ + %D%/guix.es.texi \ %D%/guix.fr.texi \ %D%/guix.de.texi @@ -56,8 +57,10 @@ OS_CONFIG_EXAMPLES_TEXI = \ TRANSLATED_INFO = \ %D%/guix.de.texi \ + %D%/guix.es.texi \ %D%/guix.fr.texi \ %D%/contributing.de.texi \ + %D%/contributing.es.texi \ %D%/contributing.fr.texi # Bundle this file so that makeinfo finds it in out-of-source-tree builds. |