diff options
author | Mathieu Lirzin <mthl@gnu.org> | 2018-01-15 14:47:12 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-01-20 00:45:29 +0100 |
commit | 523790d11d4d4d786e7b2ad19d3333e9fffb016d (patch) | |
tree | aa99575294bf46c496b6cc712096e4dbc954960d /doc/local.mk | |
parent | 92572184cc6108eb7e38bf1f9d0fbcc40b641b4d (diff) | |
download | guix-523790d11d4d4d786e7b2ad19d3333e9fffb016d.tar guix-523790d11d4d4d786e7b2ad19d3333e9fffb016d.tar.gz |
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>
Diffstat (limited to 'doc/local.mk')
-rw-r--r-- | doc/local.mk | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/doc/local.mk b/doc/local.mk index dc48fc22bf..397ade050e 100644 --- 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 \ |