diff options
Diffstat (limited to 'doc/local.mk')
| -rw-r--r-- | doc/local.mk | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/local.mk b/doc/local.mk index 79dd7e22dc..64d18e121a 100644 --- a/doc/local.mk +++ b/doc/local.mk @@ -21,7 +21,8 @@ # You should have received a copy of the GNU General Public License # along with GNU Guix. If not, see <http://www.gnu.org/licenses/>. -info_TEXINFOS = %D%/guix.texi +info_TEXINFOS = %D%/guix.texi \ + %D%/guix.fr.texi %C%_guix_TEXINFOS = \ %D%/contributing.texi \ @@ -52,7 +53,9 @@ OS_CONFIG_EXAMPLES_TEXI = \ %D%/os-config-desktop.texi \ %D%/os-config-lightweight-desktop.texi -TRANSLATED_INFO = +TRANSLATED_INFO = \ + %D%/guix.fr.texi \ + %D%/contributing.fr.texi # Bundle this file so that makeinfo finds it in out-of-source-tree builds. BUILT_SOURCES += $(OS_CONFIG_EXAMPLES_TEXI) $(TRANSLATED_INFO) |