diff options
| author | Patrik Nyblom <[email protected]> | 2013-08-29 10:08:18 +0200 |
|---|---|---|
| committer | Patrik Nyblom <[email protected]> | 2013-08-29 10:08:18 +0200 |
| commit | 676e6fe82571a666300f6ad2017d74f7bc1fe0e8 (patch) | |
| tree | ad83390e4dae912d8447f76a2fea99f555a3c7e8 /erts/doc/src/Makefile | |
| parent | 24a141833ad33ff889b07dce83e4f046a9a0a775 (diff) | |
| parent | a6df426d6daff0ab20c0a81ac834befd69322452 (diff) | |
| download | otp-676e6fe82571a666300f6ad2017d74f7bc1fe0e8.tar.gz otp-676e6fe82571a666300f6ad2017d74f7bc1fe0e8.tar.bz2 otp-676e6fe82571a666300f6ad2017d74f7bc1fe0e8.zip | |
Merge branch 'pan/time_correction_doc'
* pan/time_correction_doc:
Add time correction doc in users guide
OTP-11277
Diffstat (limited to 'erts/doc/src/Makefile')
| -rw-r--r-- | erts/doc/src/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/erts/doc/src/Makefile b/erts/doc/src/Makefile index 89d7c85a86..d4c6fe67d2 100644 --- a/erts/doc/src/Makefile +++ b/erts/doc/src/Makefile @@ -78,6 +78,7 @@ XML_CHAPTER_FILES = \ erl_ext_dist.xml \ erl_dist_protocol.xml \ communication.xml \ + time_correction.xml \ notes.xml \ notes_history.xml |