On 10 Dec 2009, at 14:41, Vladimir Blagojevic wrote:
On 09-12-10 3:27 PM, Manik Surtani wrote:
> Well, we know the name of the target file (config.html!) and we know the name of the
anchors that will be generated in each of these files (e.g., #clustering) so we could just
add such links in the bean setter javadocs?
>
>
Thanks for reminding me that solutions are often more simple than I
think :) Ok, is this a priority for GA?
:)
No, but if you can get it in for GA that would be nice...
Cheers
--
Manik Surtani
manik(a)jboss.org
Lead, Infinispan
Lead, JBoss Cache
http://www.infinispan.org
http://www.jbosscache.org