diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/local.mk | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/local.mk b/doc/local.mk index 4eda80c5eb..1d2ba18bde 100644 --- a/doc/local.mk +++ b/doc/local.mk @@ -27,6 +27,7 @@ info_TEXINFOS = %D%/guix.texi \ %D%/guix.fa.texi \ %D%/guix.fr.texi \ %D%/guix.it.texi \ + %D%/guix.ko.texi \ %D%/guix.pt_BR.texi \ %D%/guix.ru.texi \ %D%/guix.sk.texi \ @@ -34,7 +35,8 @@ info_TEXINFOS = %D%/guix.texi \ %D%/guix-cookbook.texi \ %D%/guix-cookbook.de.texi \ %D%/guix-cookbook.fa.texi \ - %D%/guix-cookbook.fr.texi + %D%/guix-cookbook.fr.texi \ + %D%/guix-cookbook.ko.texi %C%_guix_TEXINFOS = \ %D%/contributing.texi \ |