diff options
author | Trevor Elliott <trevor@galois.com> | 2013-06-27 11:30:39 -0700 |
---|---|---|
committer | Trevor Elliott <trevor@galois.com> | 2013-06-27 11:30:39 -0700 |
commit | 9fd80fd1bd91e87eb85d4d8e73a6e4396092fbb6 (patch) | |
tree | 768e77e03c657d24b205739793f5c642b437ba53 /doc | |
parent | 626062c0d7169d1a468d53adb9f7321bb82b3396 (diff) |
Don't use paths off of $(topdir) when generating js docs
Diffstat (limited to 'doc')
-rw-r--r-- | doc/build.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/build.mk b/doc/build.mk index f49f83c..a6f340f 100644 --- a/doc/build.mk +++ b/doc/build.mk @@ -57,9 +57,9 @@ $(eval $(call stage-doc-dir,$(path)/images)) doc: $(jsdoc-dir)/index.html -$(jsdoc-dir)/index.html: \ - $(topdir)/src/js/fiveui/injected/prelude.js \ - $(topdir)/src/js/fiveui/injected/jquery-plugins.js \ +$(jsdoc-dir)/index.html: \ + src/js/fiveui/injected/prelude.js \ + src/js/fiveui/injected/jquery-plugins.js \ | $(build-dir) $(call label,JSDOC)$(topdir)/tools/bin/jsdoc $^ $(redir) |