From 3a5a1c46404354f3a8911149f65c568a3166395c Mon Sep 17 00:00:00 2001 From: Gwenole Beauchesne Date: Fri, 18 Nov 2011 12:17:50 +0000 Subject: doc: don't add timestamps in generated documentation. --- doc/Makefile.am | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'doc/Makefile.am') diff --git a/doc/Makefile.am b/doc/Makefile.am index 052b863..aaedcc2 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -31,9 +31,13 @@ VA_HEADER_DIR = $(top_srcdir)/va VA_HEADER_FILES = \ $(NULL) +VA_HTML_FOOTER = va_footer.html +VA_HTML_FRAGMENTS = $(VA_HTML_FOOTER) + export VA_HEADER_DIR export VA_HEADER_FILES -html-out/index.html: Doxyfile $(VA_HEADER_FILES) +export VA_HTML_FOOTER +html-out/index.html: Doxyfile $(VA_HEADER_FILES) $(VA_HTML_FRAGMENTS) $(DOXYGEN) $< if ENABLE_DOCS @@ -52,8 +56,5 @@ uninstall-local: rm -rf $(DESTDIR)$(docdir)/html endif -clean-local: - rm -rf html-out - # Extra clean files so that maintainer-clean removes *everything* MAINTAINERCLEANFILES = Makefile.in -- cgit v1.2.1