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-19 13:06:24 +0200 |
commit | 83b25a8418c441bf691f9187632bd180ec0c540e (patch) | |
tree | 3dfb05c5ba8fbf53e0ccf3a3441c7a5bd424a7ac /Makefile.am | |
parent | 92f9ea3303a70b9a5caddcffb200ecd549c475b8 (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 |