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 15:44:20 +0200 |
commit | 671a159b2487efa67019b323ea7ac42793326e7e (patch) | |
tree | 00e331114508bff7a3399d7dc69310576fc89605 /Makefile.am | |
parent | 443c2c3357e491da1b520d3979798092cf2e6fb2 (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 |