diff options
| author | Joseph Wayne Norton <[email protected]> | 2010-03-07 19:27:49 +0900 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2010-03-09 07:25:50 +0100 |
| commit | 2016a084feb031aa8c845b883a66d35331b81d39 (patch) | |
| tree | 629dda09da1a6b16e4fdd08b99996aa2e873c9a6 /lib/os_mon | |
| parent | dfd80f7cea795bfb3a35eaea2c0bc98960002aa2 (diff) | |
| download | otp-2016a084feb031aa8c845b883a66d35331b81d39.tar.gz otp-2016a084feb031aa8c845b883a66d35331b81d39.tar.bz2 otp-2016a084feb031aa8c845b883a66d35331b81d39.zip | |
Permit building and installing documentation without Java
Modify lib/ic/doc/src/Makefile to build and to install
documentation built via javadoc only when $(JAVA) is
not equal to "".
Diffstat (limited to 'lib/os_mon')
0 files changed, 0 insertions, 0 deletions