diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/Makefile.am | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index 91880e50..6bae790b 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -5,6 +5,11 @@ man_MANS=chocolate-doom.6 EXTRA_DIST = $(man_MANS) $(MANPAGE_GEN_FILES) + +if HAVE_PYTHON + chocolate-doom.6: ../src $(MANPAGE_GEN_FILES) ./docgen -m ../src > $@ +endif + |