From dc44db4a3e35f655b6f1a22ecdbedb8b3aae64be Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Mon, 3 Jun 2013 10:59:09 -0700
Subject: Don't rebuild the jsdoc docs so much

---
 doc/build.mk | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'doc')

diff --git a/doc/build.mk b/doc/build.mk
index 795cf35..09e447e 100644
--- a/doc/build.mk
+++ b/doc/build.mk
@@ -54,9 +54,10 @@ $(eval $(call stage-doc-dir,$(path)/images))
 
 # JsDoc Documentation ##########################################################
 
-all: | $(jsdoc-dir)
+all: $(jsdoc-dir)/index.html
 
-$(jsdoc-dir): $(topdir)/contexts/data/fiveui/injected/prelude.js        \
-              $(topdir)/contexts/data/fiveui/injected/jquery-plugins.js \
-            | $(build-dir)
+$(jsdoc-dir)/index.html:                                      \
+    $(topdir)/contexts/data/fiveui/injected/prelude.js        \
+    $(topdir)/contexts/data/fiveui/injected/jquery-plugins.js \
+  | $(build-dir)
 	$(call label,JSDOC)$(topdir)/tools/bin/jsdoc $^ $(redir)
-- 
cgit v1.2.3