Peter Donald wrote:
Thanks for the heads up. It has actually already been fixed in the original
XML source. It just hasn't got to the pdf version yet. BTW Berin is there an
easy way of integrating PDF building into nightly builds or something?
It is built when you build the docs!
IOW it's already done.
On Sun, 18 Nov 2001 23:20, Vincent Massol wrote:
Hi,
On page 38, there is some code that contains :
"
RoleManager roles = new DefaultRoleManager();
roles.setLogger(Hierarchy.getDefaultHierarchy().getLoggerFor("document.role
s "));
roles.configure(roleConfig);
"
it should be
"
DefaultRoleManager roles = new DefaultRoleManager();
roles.setLogger(Hierarchy.getDefaultHierarchy().getLoggerFor("document.role
s "));
roles.configure(roleConfig);
"
because configure() is not part of the RoleManager interface.
Thanks
-Vincent
--
"Those who would trade liberty for
temporary security deserve neither"
- Benjamin Franklin
--
To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
