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/tutorial/Makefile | |
| 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/tutorial/Makefile')
| -rw-r--r-- | system/doc/tutorial/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/system/doc/tutorial/Makefile b/system/doc/tutorial/Makefile index efb380248e..d48082484c 100644 --- a/system/doc/tutorial/Makefile +++ b/system/doc/tutorial/Makefile @@ -88,6 +88,8 @@ DVIPS_FLAGS += # ---------------------------------------------------- # Targets # ---------------------------------------------------- +_create_dirs := $(shell mkdir -p $(HTMLDIR)) + $(HTMLDIR)/%.gif: %.gif $(INSTALL_DATA) $< $@ |