%~ \
doxyfile.stamp
+if HAVE_DOXYGEN
+
+directory = $(top_srcdir)/doc/man/man3/
+
+dist_man_MANS = $(directory)/man_page_1.3 $(directory)/man_page_2.3
+$(directory)/man_page_1.3: doxyfile.stamp
+$(directory)/man_page_2.3: doxyfile.stamp
+
+doxyfile.stamp:
+ $(DOXYGEN) Doxyfile
+ echo Timestamp > doxyfile.stamp
+
+#all-local: doxyfile.stamp
+
+clean-local:
+ rm -rf $(top_srcdir)/doc/man
+
+endif
+
dist_noinst_SCRIPTS = autogen.sh