| 1234567891011121314151617181920 |
- if ENABLE_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
- CLEANFILES = doxyfile.stamp
- all-local: doxyfile.stamp
- clean-local:
- rm -rf $(top_srcdir)/docs/man
- rm -rf html
- rm -rf latex
- endif
|
