JRE_MAN_PAGES and JDK_MAN_PAGES are set in both the j2se and install workspace, and this makes it difficult to maintain.

j2se/make/common/Release.gmk
install/make/common/Defs-solaris.gmk

The install workspace should just get the values from the j2se workspace, or we should move it to the control workspace.
###@###.### 2004-07-15