From 12d369fc303d3a0131844078daf3e161c50e78b3 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 28 Mar 2013 17:57:21 +0100 Subject: [PATCH] * doc/Makefile.am: Add missing dependency on userdoc/ --- doc/Makefile.am | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/doc/Makefile.am b/doc/Makefile.am index 872ca4bef..0c59ffbc3 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -72,6 +72,8 @@ ORG_FILES = \ $(srcdir)/org-stamp: $(ORG_FILES) $(configure_ac) make org && touch $@ +$(srcdir)/userdoc: $(srcdir)/org-stamp + EXTRA_DIST = \ footer.html \ mainpage.dox \ @@ -79,7 +81,7 @@ EXTRA_DIST = \ $(srcdir)/spot.html \ $(ORG_FILES) \ $(srcdir)/org-stamp \ - userdoc + $(srcdir)/userdoc .PHONY: org-deploy org-deploy: $(srcdir)/org-stamp