diff options
author | Björn Gustavsson <bjorn@erlang.org> | 2011-09-21 16:09:00 +0200 |
---|---|---|
committer | Björn Gustavsson <bjorn@erlang.org> | 2011-09-21 16:09:00 +0200 |
commit | 38613c4190b386700a84b4f435fbe12823bbbbd0 (patch) | |
tree | abd0188eb0edb4e3e8ef9eda781e7e4d3263a727 /system/doc/embedded | |
parent | 145138f8e2d0d8b1c0a6662a4195ced861759c36 (diff) | |
download | otp-38613c4190b386700a84b4f435fbe12823bbbbd0.tar.gz otp-38613c4190b386700a84b4f435fbe12823bbbbd0.tar.bz2 otp-38613c4190b386700a84b4f435fbe12823bbbbd0.zip |
system documentation: Support parallel make
Diffstat (limited to 'system/doc/embedded')
-rw-r--r-- | system/doc/embedded/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/system/doc/embedded/Makefile b/system/doc/embedded/Makefile index 5e68917fc2..70357efb1f 100644 --- a/system/doc/embedded/Makefile +++ b/system/doc/embedded/Makefile @@ -73,6 +73,8 @@ DVIPS_FLAGS += # ---------------------------------------------------- # Targets # ---------------------------------------------------- +_create_dirs := $(shell mkdir -p $(HTMLDIR)) + docs: html local_docs: PDFDIR=../../pdf |