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

[Tuncer Ayaz]

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

This reminds me that man pages only require xsltproc to
build.
So having a 'docman' target or 'make docs' building manpages
only if FOP is missing would be a nice change and also
faster :).

Does this sound useful to anyone else?