[Pki-devel] [PATCH] 35 Added option to build without Javadoc.

[Endi Sukma Dewata]

The build scripts have been modified to provide an option to build
without Javadoc to speed up development builds. The option can be
used as follows:

   compose_pki_core_packages --without-javadoc hybrid_rpms

Ticket #111

-- 
Endi S. Dewata
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pki-edewata-0035-Added-option-to-build-without-Javadoc.patch
Type: text/x-patch
Size: 10916 bytes
Desc: not available
URL: <http://listman.redhat.com/archives/pki-devel/attachments/20120323/b1cd1759/attachment.bin>