diff options
author | Rickard Green <[email protected]> | 2014-02-14 22:57:37 +0100 |
---|---|---|
committer | Rickard Green <[email protected]> | 2014-02-19 15:31:52 +0100 |
commit | f51da9be40b578cdf386264312eb9b37d18ce778 (patch) | |
tree | 02f1416fe02c20cdfc391627cdab32cfc19ef30c /erts/info.src | |
parent | 3fd4e3e770fbed95fd6fa2d547945ac71256339c (diff) | |
download | otp-f51da9be40b578cdf386264312eb9b37d18ce778.tar.gz otp-f51da9be40b578cdf386264312eb9b37d18ce778.tar.bz2 otp-f51da9be40b578cdf386264312eb9b37d18ce778.zip |
Build documentation with bootstrap system
Enables build of documentation in source trees that has been cross built
Diffstat (limited to 'erts/info.src')
0 files changed, 0 insertions, 0 deletions