diff options
| author | Hans Bolinder <[email protected]> | 2011-05-17 09:52:27 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2011-05-17 09:52:27 +0200 |
| commit | 766e09ac2d1abfa65f65377945ce8f06905e786e (patch) | |
| tree | 06b2cf48b871c835a5388291df3d11e79aa1385e /make/run_make.mk | |
| parent | c666fa93b12399a0160b6bfedf002eacbc2f01e2 (diff) | |
| download | otp-766e09ac2d1abfa65f65377945ce8f06905e786e.tar.gz otp-766e09ac2d1abfa65f65377945ce8f06905e786e.tar.bz2 otp-766e09ac2d1abfa65f65377945ce8f06905e786e.zip | |
Fix bugs concerning the option report_missing_types
Bugs concerning the option report_missing_types that was added in
EDoc-0.7.7 have been corrected: the option was misspelled in the
source, and local definitions as well as the function tags @private
and @hidden were not handled correctly. (Thanks to Manolis Papadakis.)
Diffstat (limited to 'make/run_make.mk')
0 files changed, 0 insertions, 0 deletions