patch - permit building and installing documentation without Java

[Joseph Wayne Norton]

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,

-- 
norton@REDACTED