[erlang-patches] patch - permit building and installing documentation without Java
Tue Mar 9 07:31:32 CET 2010
On Sun, Mar 7, 2010 at 1:39 PM, Joseph Wayne Norton
> Here is a patch that adds permits building and installing documentation
> without Java
> git fetch git://github.com/norton/otp.git docs_without_java
Thanks! Will include in 'pu'.
As far as I understand it, there are two mistakes in the commit message
(wrong case for $(JAVA) and it should not be equal to ""). I have changed
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 "".
Is that change OK?
Björn Gustavsson, Erlang/OTP, Ericsson AB
More information about the erlang-patches