3 directory = $(top_srcdir)/docs/man/man3
5 # dist_man_MANS = $(directory)/*.3
6 # $(directory)/*.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