diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2020-12-07 21:51:24 +0100 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-05-11 00:14:27 +0200 |
commit | 84dcc91c1001c8a6499a58596ac6edaf40c80d97 (patch) | |
tree | 54d60ec7dc68d783c0b768314295d26c42f3d807 /Makefile.am | |
parent | 1cdb9d106b5d3df0c46a751dca2e7b7ab8e42c90 (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 |