summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorMathieu Lirzin <mthl@gnu.org>2015-11-10 16:03:43 +0100
committerDavid Thompson <dthompson2@worcester.edu>2015-11-10 21:47:33 -0500
commitfe264d96c4f7639b98fc54b877cb77afa40e956b (patch)
tree8e469eef207cdc3917b76f998070b8b6cb9ffbbe /README.md
parent553e8bcec0f14104b07ff84f4be14f1556f9259c (diff)
build: Declare a dependency for the manual.
This fixes 'make distcheck' failure. * Makefile.am (doc_haunt_TEXINFOS): New variable.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions