build: Declare “doc/guix.texi“ dependencies.

Fixes <https://bugs.gnu.org/29727>.

* doc/local.mk (%C%_guix_TEXINFOS): New variable containing files included by
“doc/guix.texi”.
(EXTRA_DIST): Remove ‘.texi’ files.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

diff --git a/doc/local.mk b/doc/local.mk
index dc48fc2..397ade0 100644 (file)
--- a/doc/local.mk
+++ b/doc/local.mk
@@ -3,7 +3,7 @@
 # Copyright © 2012, 2013, 2014, 2015, 2016, 2017 Ludovic Courtès <ludo@gnu.org>
 # Copyright © 2013 Andreas Enge <andreas@enge.fr>
 # Copyright © 2016 Taylan Ulrich Bayırlı/Kammer <taylanbayirli@gmail.com>
-# Copyright © 2016 Mathieu Lirzin <mthl@gnu.org>
+# Copyright © 2016, 2018 Mathieu Lirzin <mthl@gnu.org>
 #
 # This file is part of GNU Guix.
 #
@@ -22,6 +22,10 @@
 
 info_TEXINFOS = %D%/guix.texi
 
+%C%_guix_TEXINFOS = \
+  %D%/contributing.texi \
+  %D%/fdl-1.3.texi
+
 DOT_FILES =                                    \
   %D%/images/bootstrap-graph.dot               \
   %D%/images/bootstrap-packages.dot            \
@@ -36,8 +40,6 @@ DOT_VECTOR_GRAPHICS =                         \
 
 EXTRA_DIST +=                                  \
   %D%/htmlxref.cnf                             \
-  %D%/contributing.texi                                \
-  %D%/fdl-1.3.texi                             \
   $(DOT_FILES)                                 \
   $(DOT_VECTOR_GRAPHICS)                       \
   %D%/images/coreutils-size-map.eps            \