diff options
| author |  Benjamin Jones <bjones@galois.com> | 2012-10-23 11:40:23 -0700 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2012-10-23 11:40:23 -0700 |
| commit | 904c26f350a44e4906cf0a25cd363930047cf897 (patch) | |
| tree | de17f3ed9b35780c7c10ab4b7454c7166aeadd5d /doc | |
| parent | 806a3481a674ecb96948473578841647e27f3a0b (diff) | |
updated jsDocs
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index 6d0fc25..5dc2db8 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -5,8 +5,8 @@ MAN_DEPS=$(MANUAL_SRC)/*.md $(MANUAL_SRC)/figures/*.png jsdoc-toolkit=../build/jsdoc -jsdoc: ../contexts/data/fiveui/injected/prelude.js - @$(jsdoc-toolkit) ../contexts/data/fiveui/injected/prelude.js +jsdoc: ../contexts/data/fiveui/injected/prelude.js ../contexts/data/fiveui/injected/jquery-plugins.js + @$(jsdoc-toolkit) ../contexts/data/fiveui/injected/prelude.js ../contexts/data/fiveui/injected/jquery-plugins.js .PHONY: man man: web-manual |