diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-03 10:59:09 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-03 10:59:09 -0700 |
| commit | dc44db4a3e35f655b6f1a22ecdbedb8b3aae64be (patch) | |
| tree | 3fd1ecaa245dd637cc6a4ce7e3a4d8a9677223fe /doc | |
| parent | 3c9a13bfb288dd052609dcaf9a00604c690191ad (diff) | |
Don't rebuild the jsdoc docs so much
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/build.mk | 9 |
1 files changed, 5 insertions, 4 deletions
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) |