diff options
author | Patrik Nyblom <[email protected]> | 2011-06-21 12:18:15 +0200 |
---|---|---|
committer | Patrik Nyblom <[email protected]> | 2011-06-21 12:18:15 +0200 |
commit | b781506f927672fe22c3fba20e25d39ee64c9594 (patch) | |
tree | cba3158ffd2f41e6493342d884382bfb2eaa672e /lib/kernel/doc/src/Makefile | |
parent | 22d7ccd9ef7f07baa0ffa648c16f90bfd2c0e342 (diff) | |
parent | b9d8ae5aa52774ed0ce12c9d21ad7f3670c2dca1 (diff) | |
download | otp-b781506f927672fe22c3fba20e25d39ee64c9594.tar.gz otp-b781506f927672fe22c3fba20e25d39ee64c9594.tar.bz2 otp-b781506f927672fe22c3fba20e25d39ee64c9594.zip |
Merge branch 'dev' into major
Diffstat (limited to 'lib/kernel/doc/src/Makefile')
-rw-r--r-- | lib/kernel/doc/src/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/kernel/doc/src/Makefile b/lib/kernel/doc/src/Makefile index de10e31d36..214e994889 100644 --- a/lib/kernel/doc/src/Makefile +++ b/lib/kernel/doc/src/Makefile @@ -104,6 +104,8 @@ TOP_SPECS_FILE = specs.xml # ---------------------------------------------------- XML_FLAGS += +SPECS_ESRC = ../../src + SPECS_FLAGS = -I../../include # ---------------------------------------------------- |