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