diff options
-rw-r--r-- | docs/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/docs/Makefile b/docs/Makefile index d20556a..82381e3 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -9,13 +9,13 @@ MAIN = openwrt.tex DEPS = $(MAIN) Makefile config.tex network.tex network-scripts.tex network-scripts.tex wireless.tex build.tex adding.tex bugs.tex $(TMP_DIR)/.prereq-docs all: - $(MAKE) cleanup + $(NO_TRACE_MAKE) cleanup latex $(MAIN) - $(MAKE) openwrt.pdf openwrt.html - $(MAKE) cleanup + $(NO_TRACE_MAKE) openwrt.pdf openwrt.html + $(NO_TRACE_MAKE) cleanup $(TMP_DIR)/.prereq-docs: - $(MAKE) prereq + $(NO_TRACE_MAKE) prereq touch $@ openwrt.html: $(DEPS) |