diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2020-12-07 21:51:24 +0100 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-06-05 16:08:24 +0200 |
commit | 24b2eed3efa3fb9f6f042878d28952831a28398c (patch) | |
tree | 0e635cccd1ab3ed363c821819391ab25599fbe13 /Makefile.am | |
parent | 4f9d02b9b4c84d567709e0325642ac55e068a1ee (diff) |
Set up the manual
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index fcfde44..6e77a42 100644 --- a/Makefile.am +++ b/Makefile.am @@ -11,6 +11,7 @@ AM_CPPFLAGS = -DLOCALEDIR=\"$(localedir)\" -I. -I$(srcdir) AM_CFLAGS = $(GUILE_CFLAGS) $(NETTLE_CFLAGS) include src/Makefile.am +include doc/Makefile.am EXTRA_DIST += $(top_srcdir)/.version BUILT_SOURCES += $(top_srcdir)/.version |