[patch] always set the jdk docs target

[Andrew John Hughes]

On 29/06/2008, Matthias Klose <doko at ubuntu.com> wrote:
> setting JDK_UPDATE_VERSION in the environment had the side effect of disabling
>  the docs build. Make the docs target independent of JDK_UPDATE_VERSION, it can
>  still be disabled with setting NO_DOCS.
>
>  The build doesn't fail, so maybe some packages don't have the docs included.
>
>
>   Matthias
>
>
>
>

Please also document new patches in the HACKING file.

Thanks,
-- 
Andrew :-)

Support Free Java!
Contribute to GNU Classpath and the OpenJDK
http://www.gnu.org/software/classpath
http://openjdk.java.net

PGP Key: 94EFD9D8 (http://subkeys.pgp.net)
Fingerprint: F8EF F1EA 401E 2E60 15FA  7927 142C 2591 94EF D9D8