[erlang-patches] patch - permit building and installing documentation without Java

[Björn Gustavsson]

On Sun, Mar 7, 2010 at 1:39 PM, Joseph Wayne Norton
<norton@REDACTED> wrote:
>
> Hi.
>
> 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
it to:

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