build: Declare “doc/guix.texi“ dependencies.
authorMathieu Lirzin <mthl@gnu.org>
Mon, 15 Jan 2018 13:47:12 +0000 (14:47 +0100)
committerLudovic Courtès <ludo@gnu.org>
Fri, 19 Jan 2018 23:45:29 +0000 (00:45 +0100)
commit523790d11d4d4d786e7b2ad19d3333e9fffb016d
treeaa99575294bf46c496b6cc712096e4dbc954960d
parent92572184cc6108eb7e38bf1f9d0fbcc40b641b4d
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>
doc/local.mk