diff options
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 7a614795..14caa0da 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -10,7 +10,14 @@ if HAS_DOXYGEN man_MANS += $(wildcard man3/*.3) endif -EXTRA_DIST = $(man_MANS) +EXTRA_DIST = $(man_MANS) Doxyfile + +if HAS_DOXYGEN +all: doxygen.in + +doxygen.in: + doxygen $(srcdir)/Doxyfile +endif clean-local: $(RM) man3/*.3 |