On 9 March 2012 11:12, Gilles Sadowski <[email protected]> wrote: > On Fri, Mar 09, 2012 at 11:50:15AM +0100, Benedikt Ritter wrote: >> Thanks for the patch Dennis! Feel free create a JIRA ticket [1] for >> this issue, where you can attach your patch (and maybe more ;). One >> little suggestion for improvement: According to [2] {@code } should be >> used in instead of <code> and <tt>. > > +1 > > Gilles > > > P.S. For this sort of changes, what is the procedure for fixing the web > site? I.e. ensuring that no Java code modifications in trunk is > reflected in the newly generated docs. Do we create a branch?
That needs a new thread. > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
