diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-07 11:59:57 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-07 11:59:57 -0700 |
| commit | 8690d56ff0bbd1031e8cc6788dd2159aac6b7adb (patch) | |
| tree | d573336305dc756f357f20dd986f77cb3ceafb9b /doc | |
| parent | f42930c2226d07482725b03ad522c106c0bdec8b (diff) | |
Reorganize the build system
* Move all javascript source to src/js
* Update the test runner, etc.
* Do less javascript compilation
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/build.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/build.mk b/doc/build.mk index f62ef54..f628a6c 100644 --- a/doc/build.mk +++ b/doc/build.mk @@ -60,7 +60,7 @@ $(eval $(call stage-doc-dir,$(path)/images)) doc: $(jsdoc-dir)/index.html $(jsdoc-dir)/index.html: \ - $(topdir)/contexts/data/fiveui/injected/prelude.js \ - $(topdir)/contexts/data/fiveui/injected/jquery-plugins.js \ + $(topdir)/src/js/fiveui/injected/prelude.js \ + $(topdir)/src/js/fiveui/injected/jquery-plugins.js \ | $(build-dir) $(call label,JSDOC)$(topdir)/tools/bin/jsdoc $^ $(redir) |