if HAVE_DOXYGEN
CLEANFILES = doxyfile.stamp
directory = $(top_srcdir)/docs/man/man3/
dist_man_MANS= $(top_srcdir)/docs/man/man1/ttail.1

$(directory)/man_page_1.3: doxyfile.stamp
$(directory)/man_page_2.3: doxyfile.stamp

doxyfile.stamp:
	$(DOXYGEN) Doxyfile
	echo Timestamp > doxyfile.stamp


html-local: doxyfile.stamp

$(top_srcdir)/docs/man/man1/ttail.1: doxyfile.stamp
	-mkdir -p $(top_srcdir)/docs/man/man1;\
	cp $(top_srcdir)/docs/man/man3/ttail.3 $(top_srcdir)/docs/man/man1/ttail.1;\
	sed -i 's/^.TH "ttail" 3/.TH "ttail" 1/' $(top_srcdir)/docs/man/man1/ttail.1

clean-local:
	-rm -rf $(top_srcdir)/docs/html $(top_srcdir)/docs/man $(top_srcdir)/docs/doxygen_sqlite3.db
endif