diff options
| author | ng0 <ng0@n0.is> | 2019-04-01 14:06:27 +0000 |
|---|---|---|
| committer | ng0 <ng0@n0.is> | 2019-04-01 14:06:27 +0000 |
| commit | 8e50f39a2c1ba03011bd1e5c51d0721f220e2e7a (patch) | |
| tree | a5fdc478c3350c8945fb77efa41ccf04823522df /Makefile.am | |
| parent | 1238b1f27382971a5ad0ad07ea0ed30b6d3aad17 (diff) | |
add ability to build manpages independent from other documentation choices
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index fd18d7c3c..f54ff203f 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1,13 +1,21 @@ # This Makefile.am is in the public domain AM_CPPFLAGS = -I$(top_srcdir)/src/include +# only documentation (ALL of the documentation) if DOCUMENTATION_ONLY SUBDIRS = doc else SUBDIRS = m4 src po pkgconfig +endif + +# documentation on / off switch (affects all of the documentation) if DOCUMENTATION SUBDIRS += doc endif + +# only manpages, needs "doc" subdir +if INCLUDE_MANPAGES + SUBDIRS += doc endif if !TALER_ONLY |