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 /po/packages | |
parent | 92572184cc6108eb7e38bf1f9d0fbcc40b641b4d (diff) | |
download | guix-523790d11d4d4d786e7b2ad19d3333e9fffb016d.tar.gz guix-523790d11d4d4d786e7b2ad19d3333e9fffb016d.zip |
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 'po/packages')
0 files changed, 0 insertions, 0 deletions