# HG changeset patch
# User jjg
# Date 1346788430 25200
# Node ID 1b01d62872eb1807e11ca7f1e98a40840edc95b7
# Parent  0f1340f8a1574cca72a4ef1be76742fc160a88a6
7195519: OutOfMemoryError in docs build after 7151010
Reviewed-by: darcy

diff -r 0f1340f8a157 -r 1b01d62872eb jdk/make/docs/Makefile
--- a/jdk/make/docs/Makefile	Tue Sep 04 02:24:51 2012 -0700
+++ b/jdk/make/docs/Makefile	Tue Sep 04 12:53:50 2012 -0700
@@ -73,7 +73,7 @@
 else ifeq ($(ARCH),universal)
   MAX_VM_MEMORY = 1024
 else
-  MAX_VM_MEMORY = 612
+  MAX_VM_MEMORY = 768
 endif
 
 # List of all possible directories for javadoc to look for sources