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/environment-gdb.scm | |
| parent | 92572184cc6108eb7e38bf1f9d0fbcc40b641b4d (diff) | |
| download | patches-523790d11d4d4d786e7b2ad19d3333e9fffb016d.tar patches-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/environment-gdb.scm')
0 files changed, 0 insertions, 0 deletions