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/reference_manual | |
| 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/reference_manual')
| -rw-r--r-- | system/doc/reference_manual/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/system/doc/reference_manual/Makefile b/system/doc/reference_manual/Makefile index 34e5b7f555..2e1f8e71cb 100644 --- a/system/doc/reference_manual/Makefile +++ b/system/doc/reference_manual/Makefile @@ -82,6 +82,8 @@ DVIPS_FLAGS += # ---------------------------------------------------- # Targets # ---------------------------------------------------- +_create_dirs := $(shell mkdir -p $(HTMLDIR)) + docs: html local_docs: PDFDIR=../../pdf |