diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index df63791b..1e199d1c 100644 --- a/Makefile.am +++ b/Makefile.am @@ -46,6 +46,10 @@ MAINTAINERCLEANFILES = $(AUX_DIST_GEN) docdir=$(prefix)/share/doc/@PACKAGE@ SUBDIRS=textscreen pcsound src man setup +if HAVE_PYTHON + CMDLINE : src/ ./man/docgen -p src/ > $@ +endif + |