diff options
| -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 \ |