From 2823e996a15ffcb9e3810b0035db9fd5b1dbe75c Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mike@mikegerwitz.com>
Date: Sun, 20 Mar 2011 15:53:56 -0400
Subject: [PATCH] HTML documentation will now be rebuilt on texi update

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index ddd27e5..bd925ac 100644
--- a/Makefile
+++ b/Makefile
@@ -90,12 +90,12 @@ $(PATH_DOC_OUTPUT_PLAIN): $(doc_imgs_txt) | mkbuild-doc
 	makeinfo --plain -I "$(PATH_DOC)" "${PATH_MANUAL_TEXI}" > $@
 
 # doc html (multiple pages)
-$(PATH_DOC_OUTPUT_HTML)/index.html: | $(PATH_DOC_OUTPUT_HTML)/img mkbuild-doc doc-img
+$(PATH_DOC_OUTPUT_HTML)/index.html: $(doc_src) | $(PATH_DOC_OUTPUT_HTML)/img mkbuild-doc doc-img
 	makeinfo --html --css-include="${PATH_DOC_CSS}" \
 		-I "$(PATH_DOC)" -o "${PATH_DOC_OUTPUT_HTML}" "${PATH_MANUAL_TEXI}";
 
 # doc html (single page)
-$(PATH_DOC_OUTPUT_HTML1): | $(PATH_DOC_OUTPUT)/img mkbuild-doc doc-img
+$(PATH_DOC_OUTPUT_HTML1): $(doc_src) | $(PATH_DOC_OUTPUT)/img mkbuild-doc doc-img
 	makeinfo --no-split --html --css-include="${PATH_DOC_CSS}" \
 		-I "$(PATH_DOC)" -o "${PATH_DOC_OUTPUT_HTML1}" "${PATH_MANUAL_TEXI}";