diff options
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/doc/Makefile b/doc/Makefile deleted file mode 100644 index a37743e..0000000 --- a/doc/Makefile +++ /dev/null @@ -1,31 +0,0 @@ -JSDOC_DIR=jsdoc -MANUAL_DIR=manual -MANUAL_SRC=manual_src -MAN_DEPS=$(MANUAL_SRC)/*.md $(MANUAL_SRC)/figures/*.png -JSDOC_TOOLKIT=../build/jsdoc - -all: jsdoc man - -.PHONY: jsdoc -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 - -$(MANUAL_DIR): - @mkdir -p $(MANUAL_DIR) - -.PHONY: web-manual -web-manual: $(MANUAL_DIR) $(MAN_DEPS) - @make -C $(MANUAL_SRC) - @cp -r $(MANUAL_SRC)/figures $(MANUAL_DIR) -# @cp -r $(MANUAL_SRC)/images $(MANUAL_DIR) - @cp $(MANUAL_SRC)/*.html $(MANUAL_DIR) - @cp $(MANUAL_SRC)/*.css $(MANUAL_DIR) -# @mv $(MANUAL_SRC)/*.html $(MANUAL_DIR) - -clean: - @make -C $(MANUAL_SRC) clean - @$(RM) -r $(JSDOC_DIR) - @$(RM) -r $(MANUAL_DIR) |