1*1b481fc3SMaciej Żenczykowskiif HAVE_DOXYGEN 2*1b481fc3SMaciej Żenczykowskidoc_srcs = $(shell find $(top_srcdir)/src -name '*.c') 3*1b481fc3SMaciej Żenczykowski 4*1b481fc3SMaciej Żenczykowskidoxyfile.stamp: $(doc_srcs) Makefile.am 5*1b481fc3SMaciej Żenczykowski rm -rf html man 6*1b481fc3SMaciej Żenczykowski doxygen doxygen.cfg >/dev/null 7*1b481fc3SMaciej Żenczykowski $(SHELL) $(top_srcdir)/doxygen/finalize_manpages.sh 8*1b481fc3SMaciej Żenczykowski touch doxyfile.stamp 9*1b481fc3SMaciej Żenczykowski 10*1b481fc3SMaciej ŻenczykowskiCLEANFILES = doxyfile.stamp 11*1b481fc3SMaciej Żenczykowski 12*1b481fc3SMaciej Żenczykowskiall-local: doxyfile.stamp 13*1b481fc3SMaciej Żenczykowskiclean-local: 14*1b481fc3SMaciej Żenczykowski rm -rf $(top_srcdir)/doxygen/man $(top_srcdir)/doxygen/html 15*1b481fc3SMaciej Żenczykowskiinstall-data-local: 16*1b481fc3SMaciej Żenczykowski mkdir -p $(DESTDIR)$(mandir)/man3 17*1b481fc3SMaciej Żenczykowski cp --no-dereference --preserve=links,mode,timestamps man/man3/*.3\ 18*1b481fc3SMaciej Żenczykowski $(DESTDIR)$(mandir)/man3/ 19*1b481fc3SMaciej Żenczykowski 20*1b481fc3SMaciej Żenczykowski# make distcheck needs uninstall-local 21*1b481fc3SMaciej Żenczykowskiuninstall-local: 22*1b481fc3SMaciej Żenczykowski rm -r $(DESTDIR)$(mandir) man html doxyfile.stamp 23*1b481fc3SMaciej Żenczykowskiendif 24*1b481fc3SMaciej Żenczykowski 25*1b481fc3SMaciej ŻenczykowskiEXTRA_DIST = finalize_manpages.sh 26