3 directory = $(top_srcdir)/docs/man/man3/
5 dist_man_MANS = $(directory)/man_page_1.3 $(directory)/man_page_2.3
6 $(directory)/man_page_1.3: doxyfile.stamp
7 $(directory)/man_page_2.3: doxyfile.stamp
11 echo Timestamp > doxyfile.stamp
13 CLEANFILES = doxyfile.stamp
15 all-local: doxyfile.stamp
17 rm -rf $(top_srcdir)/docs/man