diff options
author | Peter Lemenkov <[email protected]> | 2014-08-26 13:53:49 +0400 |
---|---|---|
committer | Peter Lemenkov <[email protected]> | 2014-08-26 13:53:51 +0400 |
commit | 22b78c2df4d5faa80b6a96d3fb2e204ad0662c13 (patch) | |
tree | 991549ac9a8417aa957d64ef03ef76fad47e54ae /plt | |
parent | 83113d9f1df48dc73fbff82705e8aa3fb3af6723 (diff) | |
download | otp-22b78c2df4d5faa80b6a96d3fb2e204ad0662c13.tar.gz otp-22b78c2df4d5faa80b6a96d3fb2e204ad0662c13.tar.bz2 otp-22b78c2df4d5faa80b6a96d3fb2e204ad0662c13.zip |
Install internal hrl files when necessary
Sometimes we install *.erl files. Some these files include a private
*.hrl files, so in order to make these *.erl files usable we have to
install these private includes as well.
Signed-off-by: Peter Lemenkov <[email protected]>
Diffstat (limited to 'plt')
0 files changed, 0 insertions, 0 deletions