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]>
