diff options
| author | Björn Gustavsson <[email protected]> | 2011-09-21 16:09:00 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 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 |