diff options
author | Mathieu Lirzin <mthl@gnu.org> | 2015-11-10 16:03:43 +0100 |
---|---|---|
committer | David Thompson <dthompson2@worcester.edu> | 2015-11-10 21:47:33 -0500 |
commit | fe264d96c4f7639b98fc54b877cb77afa40e956b (patch) | |
tree | 8e469eef207cdc3917b76f998070b8b6cb9ffbbe | |
parent | 553e8bcec0f14104b07ff84f4be14f1556f9259c (diff) |
build: Declare a dependency for the manual.
This fixes 'make distcheck' failure.
* Makefile.am (doc_haunt_TEXINFOS): New variable.
-rw-r--r-- | Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index e607551..8420228 100644 --- a/Makefile.am +++ b/Makefile.am @@ -80,6 +80,7 @@ SCM_LOG_COMPILER = $(top_builddir)/test-env $(GUILE) AM_SCM_LOG_FLAGS = --no-auto-compile -L "$(top_srcdir)" info_TEXINFOS = doc/haunt.texi +doc_haunt_TEXINFOS = doc/fdl-1.3.texi EXTRA_DIST += \ pre-inst-env.in \ |