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 /website/js | |
| parent | 553e8bcec0f14104b07ff84f4be14f1556f9259c (diff) | |
build: Declare a dependency for the manual.
This fixes 'make distcheck' failure.
* Makefile.am (doc_haunt_TEXINFOS): New variable.
Diffstat (limited to 'website/js')
0 files changed, 0 insertions, 0 deletions