diff options
| author | Raimo Niskanen <[email protected]> | 2012-01-27 17:31:05 +0100 |
|---|---|---|
| committer | Raimo Niskanen <[email protected]> | 2012-01-27 17:31:05 +0100 |
| commit | a0068cf43af0b0addc119c752bc509c9e55151f5 (patch) | |
| tree | 31a44f266cbe80e94b73b5dd06a8c5f11099d34c /erts/Makefile.in | |
| parent | 2d795518eb65dc2fe8348862c4ed84133b12a6aa (diff) | |
| download | otp-a0068cf43af0b0addc119c752bc509c9e55151f5.tar.gz otp-a0068cf43af0b0addc119c752bc509c9e55151f5.tar.bz2 otp-a0068cf43af0b0addc119c752bc509c9e55151f5.zip | |
erts: Fix recently broken documentation build
Diffstat (limited to 'erts/Makefile.in')
| -rw-r--r-- | erts/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/erts/Makefile.in b/erts/Makefile.in index 2b4f562c06..1979c50781 100644 --- a/erts/Makefile.in +++ b/erts/Makefile.in @@ -156,4 +156,4 @@ release: .PHONY: release_docs release_docs: - ( cd emulator && $(MAKE) $@ ) + ( cd doc/src && $(MAKE) $@ ) |